Skip to content
cs-conference-ranking.org

A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs.

Ricardo Corin, Jerry den Hartog

VenueA*ICALP
Year2006
ProceedingsICALP (2)
DBLP recordconf/icalp/CorinH06 ↗

Browse the full ICALP paper archive.