Towards mechanized correctness proofs for cryptographic algorithms : Axiomatization of a probabilistic Hoare style logic

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Publication statusPublished - 2007

    Publication series

    NameCTIT Technical Report
    VolumeTR-CTIT-07-53

    Cite this