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

DOI10.1007/11787006_22zbMath1133.94313OpenAlexW2106218479MaRDI QIDQ3591439

Jerry den Hartog, Ricardo Corin

Publication date: 11 September 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11787006_22

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

Automated proofs for asymmetric encryption ⋮ A Calculus for Game-Based Security Proofs ⋮ Automated Proofs for Asymmetric Encryption ⋮ Formalisation of probabilistic concealment ⋮ Formal security proofs with minimal fuss: implicit computational complexity at work

This page was built for publication: A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs