Essays about: "Formal Verification"

Showing result 6 - 10 of 82 essays containing the words Formal Verification.

  1. 6. Formally Verified Remote Attestation Protocols with Strong Authentication

    University essay from Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska fakulteten

    Author : Johannes Wilson; [2023]
    Keywords : ;

    Abstract : Most commodity processors available today provide hardware-supported security extensions. Remote attestation has been declared an important step towards providing security to users through such solutions, yet remote attestation has seen limited deployment in practice. READ MORE

  3. 7. Practical Analysis of the Giskard Consensus Protoco

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Leon Sandner; [2023]
    Keywords : Distributed Ledger; Blockchain; Consensus Protocol; Giskard; Hyperledger Sawtooth; Distribuerade Huvudbok; Blockchain; Konsensus; Giskard; Hyperledger Sawtooth;

    Abstract : Consensus protocols are the core of modern blockchain systems, such as the Bitcoin, Ethereum, and Algorand networks. Thanks to these protocols, participants in a blockchain network can reach consensus on which blocks to add to a blockchain, to have a consistent chain of blocks in the whole network. READ MORE

  4. 8. Automated Inference of ACSL Contracts for Programs with Heaps

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oskar Söderberg; [2023]
    Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

  5. 9. Applications of Formal Explanations in ML

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Nikolaos Smyrnioudis; [2023]
    Keywords : Machine Learning; eXplainable Artifical Intelligence; Formal Verification of Machine Learning models; Maskininlärning; förklarbar artificiell intelligens; formell verifiering av maskininlärningsmodeller;

    Abstract : The most performant Machine Learning (ML) classifiers have been labeled black-boxes due to the complexity of their decision process. eXplainable Artificial Intelligence (XAI) methods aim to alleviate this issue by crafting an interpretable explanation for a models prediction. READ MORE

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

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Jakob Ahokas; Jonathan Persson; [2022]
    Keywords : Cybersecurity; Formal verification; Unmanned aircraft; Cryptography;

    Abstract : 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. READ MORE