Computationally sound secrecy proofs by mechanized flow analysis. (2006)

by M Backes, P Laud
Venue:In: ACM Conference on Computer and Communications Security,