Sökning: "verification protocol"

Visar resultat 6 - 10 av 48 uppsatser innehållade orden verification protocol.

  1. 6. Formal security verification of the Drone Remote Identification Protocol using Tamarin

    Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Jakob Ahokas; Jonathan Persson; [2022]
    Nyckelord :Cybersecurity; Formal verification; Unmanned aircraft; Cryptography;

    Sammanfattning : The current standard for remote identification of unmanned aircraft does not contain anyform of security considerations, opening up possibilities for impersonation attacks. Thenewly proposed Drone Remote Identification Protocol aims to change this. LÄS MER

  3. 7. Investigating Machine Learning for verification of AMBA APB protocol.

    Master-uppsats, Lunds universitet/Institutionen för elektro- och informationsteknik

    Författare :Abhiram Srisai Kishore; Mohammed Wasim; [2022]
    Nyckelord :Machine learning; SOC Verification; AMBA; Neural Networks; Deep Learning; Assertions.; Technology and Engineering;

    Sammanfattning : It is a well-known fact that in any Application Specific Integrated Circuit (ASIC) design, verification consumes most time and resources. And when it comes to huge designs, finding bugs can be tedious given the area and the complexity. As per Moore’s law, the design complexity is increasing exponentially due to the growing demand for performance. LÄS MER

  4. 8. Rate Flexible Soft Decision Viterbi Decoder using SiLago

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Naveen Bantwal Baliga; [2021]
    Nyckelord :SiLago; Viterbi Decoder; Rate-flexible; Soft Decision; WLAN 802.11a; Strongly Connected Trellis; CGRA; Convolution Encoding; BER; SiLago; Viterbi-avkodare; hastighetsflexibel; mjukt beslut; WLAN 802.11a; starkt kopplade trellis; CGRA; konvolutionskodning; BER;

    Sammanfattning : The IEEE 802.11a protocol is part of the IEEE 802 protocols for implementing WLAN Wi- Fi computer communications in various frequencies. These protocols find applications worldwide, covering a wide range of devices like mobile phones, computers, laptops, household appliances, etc. LÄS MER

  5. 9. Sepsis and circulating miRNA : The road towards absolute quantification of unknown miRNA levels in plasma utilizing two-tailed RT-qPCR, while testing two extraction methods, striving to create multi-marker panel for sepsis diagnosis

    Magister-uppsats, Högskolan i Skövde/Institutionen för biovetenskap

    Författare :Hazzim Elawad; [2021]
    Nyckelord :;

    Sammanfattning : Sepsis is a preventable yet life threatening condition, resulting from body response to infection. Time is crucial in sepsis diagnosis since deterioration in patients’ health can occur rapidly. Blood culturing is the gold standard for diagnosis, along with clinical assessment. LÄS MER

  7. 10. Kretskortsdesign för uppkopplat cykellås

    Uppsats för yrkesexamina på grundnivå, Högskolan i Halmstad

    Författare :Edvin Kuylenstierna; [2020]
    Nyckelord :LoRa; GPS; accelerometer; kretskortdesign; uppkopplat cykellås;

    Sammanfattning : The goal with this degree project has been to design a circuit board for an existing bicycle lock that will be able to prevent bicycle theft by sending an alarm. The bicycle lock will be communicating with the radio protocol LoRa and send an alarm with the position to the user. LÄS MER