Computationally sound secrecy proofs by mechanized flow analysis (2006)

by Michael Backes, Peeter Laud
Venue:In Proc. 13th ACM Conference on Computer and Communications Security (CCS’06