Computational Soundness, Co-induction, and Encryption Cycles

DOI10.1007/978-3-642-13190-5_19zbMath1280.94084OpenAlexW1586108203MaRDI QIDQ3563845

Daniele Micciancio

Publication date: 1 June 2010

Published in: Advances in Cryptology – EUROCRYPT 2010 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13190-5_19

zbMATH Keywords

co-inductioncomputational soundnessgreatest fixed pointsencryption cyclesformal methods for securitysymbolic encryption

Mathematics Subject Classification ID

Cryptography (94A60)

This page was built for publication: Computational Soundness, Co-induction, and Encryption Cycles