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

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

    Research output: Book/ReportReportAcademic

    LanguageEnglish
    PublisherIACR
    Number of pages18
    StatePublished - 2005

    Publication series

    NameCryptology ePrint Archive
    Volume2005/467

    Cite this

    Corin, R. J., & Hartog, den, J. I. (2005). A probabilistic Hoare-style logic for game-based cryptographic proofs. (Cryptology ePrint Archive; Vol. 2005/467). IACR.
    Corin, R.J. ; Hartog, den, J.I./ A probabilistic Hoare-style logic for game-based cryptographic proofs. IACR, 2005. 18 p. (Cryptology ePrint Archive).
    @book{d813806155914af48260348b063c15b3,
    title = "A probabilistic Hoare-style logic for game-based cryptographic proofs",
    author = "R.J. Corin and {Hartog, den}, J.I.",
    year = "2005",
    language = "English",
    series = "Cryptology ePrint Archive",
    publisher = "IACR",

    }

    Corin, RJ & Hartog, den, JI 2005, A probabilistic Hoare-style logic for game-based cryptographic proofs. Cryptology ePrint Archive, vol. 2005/467, IACR.

    A probabilistic Hoare-style logic for game-based cryptographic proofs. / Corin, R.J.; Hartog, den, J.I.

    IACR, 2005. 18 p. (Cryptology ePrint Archive; Vol. 2005/467).

    Research output: Book/ReportReportAcademic

    TY - BOOK

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

    AU - Corin,R.J.

    AU - Hartog, den,J.I.

    PY - 2005

    Y1 - 2005

    UR - http://eprint.iacr.org/2005/467.pdf

    M3 - Report

    T3 - Cryptology ePrint Archive

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

    PB - IACR

    ER -

    Corin RJ, Hartog, den JI. A probabilistic Hoare-style logic for game-based cryptographic proofs. IACR, 2005. 18 p. (Cryptology ePrint Archive).