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

DOI10.1016/J.SCICO.2008.09.006zbMath1159.68022OpenAlexW2145188057MaRDI QIDQ2517836

Publication date: 9 January 2009

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2008.09.006

zbMATH Keywords

probability cryptography axiomatization Hoare logic provable correctness

Mathematics Subject Classification ID

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

Uses Software

PVS

This page was built for publication: Towards mechanized correctness proofs for cryptographic algorithms: axiomatization of a probabilistic Hoare style logic