Computationally Sound Secrecy Proofs by Mechanized Flow Analysis (2006)

by Michael Backes , Peeter Laud
Venue:13th ACM Conference on Computer and Communications Security (CCS 2006
Citations:13 - 2 self