Computationally Sound Secrecy Proofs by Mechanized Flow Analysis

Backes, Michael; Laud, Peeter (2006). Computationally Sound Secrecy Proofs by Mechanized Flow Analysis. Abstracts: 2nd workshop on Formal and Computational Cryptography; Venice, Italy; 09.07.2006. Ed. Cortier, Veronique; Kremer, Steve. Venice, 1−6.
publitseeritud konverentsiettekanne
Backes, Michael; Laud, Peeter
  • Inglise
Abstracts
Cortier, Veronique; Kremer, Steve
2nd workshop on Formal and Computational Cryptography; Venice, Italy; 09.07.2006
Venice
2006
16
Ilmunud
5.2. Konverentsiteesid, mis ei kuulu valdkonda 5.1

Viited terviktekstile