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

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

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    PublisherIACR
    Number of pages18
    Publication statusPublished - 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.