Number of items: 2.
Conference or Workshop Item (A Paper)
Backes, Michael and Laud, Peeter
(2006)
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis.
Other
Backes, Michael and Laud, Peeter
(2006)
Computationally Sound Secrecy Proofs by Mechanized Flow Analysis.
(Unpublished)
This list was generated on Thu Apr 25 06:44:22 2024 CEST.