A probabilistic Hoare-style logic for game-based cryptographic proofs

R.J. Corin, J.I. Hartog, den

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    30 Citaten (Scopus)

    Samenvatting

    We extend a Probabilistic Hoare-style logic to formalize game-based cryptographic proofs. Our approach provides a systematic and rigorous framework, thus preventing errors from being introduced. We illustrate our technique by proving semantic security of ElGamal.
    Originele taal-2Engels
    TitelAutomata, Languages and Programming (Proceedings 33rd International Colloquium, ICALP 2006, Venice, Italy, July 9-16, 2006), Part II
    RedacteurenM. Bugliesi, B. Preneel, V. Sassone, I. Wegener
    UitgeverijSpringer
    Pagina's252-263
    ISBN van geprinte versie3-540-35907-9
    DOI's
    StatusGepubliceerd - 2006

    Publicatie series

    NaamLecture Notes in Computer Science
    Volume4052
    ISSN van geprinte versie0302-9743

    Vingerafdruk

    Duik in de onderzoeksthema's van 'A probabilistic Hoare-style logic for game-based cryptographic proofs'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit