inria-00080498, version 1

Computationally Sound Secrecy Proofs by Mechanized Flow Analysis

Michael Backes ¹, Peeter Laud ²

Workshop on Formal and Computational Cryptography (FCC2006) (2006)

• 1:  Information Security and Cryptography Group. (IS&C)
• Saarland University
• 2:  Institute of Computer Science
• Tartu University

• Domain : Computer Science/Cryptography and Security

• inria-00080498, version 1
• http://hal.inria.fr/inria-00080498
• oai:hal.inria.fr:inria-00080498
• From: Véronique Cortier <>
• Submitted on: Monday, 19 June 2006 10:45:19
• Updated on: Monday, 19 June 2006 22:10:09