A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended version)

Ricardo Corin, Jerry den Hartog

Research output: Book/ReportReportOther research output

31 Citations (Scopus)
16 Downloads (Pure)

Fingerprint

Dive into the research topics of 'A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended version)'. Together they form a unique fingerprint.

Engineering & Materials Science