Computationally Sound Secrecy Proofs by Mechnized Flow Analysis

Michael Backes and Peeter Laud.
Workshop on Formal and Computational Cryptography (FCC'06), affiliated with ICALP'06, June 2006.

Abstract

Files available online

• PDF document
• BibTeX entry

This publication is accompanied by links to downloadable versions of this publication. These documents do not necessarily correspond exactly to the cited version. Instead, in most cases full or updated versions are provided.