View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Formalisation of Cryptographic Proofs in Agda

        Thumbnail
        View/Open
        agolov_thesis.pdf (540.4Kb)
        Publication date
        2018
        Author
        Golov, A.M.
        Metadata
        Show full item record
        Summary
        The game-based style of proofs [BR06, Sho04] is often used in cryptography to prove properties of cryptographic primitives, such as the security of an encryption scheme. Given the importance of cryptography in the modern world, there is considerable value in being able to verify these proofs automatically. In this thesis, we develop a system for expressing proofs of this form in the Agda programming language.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/30540
        Collections
        • Theses
        Utrecht university logo