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

Ricardo Corin, Jerry den Hartog

Research output: Book/ReportReportOther research output

33 Citations (Scopus)
45 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.

Computer Science