Guessing attacks and the computational soundness of static equivalence (2006)

by M Abadi, M Baudet, B Warinschi
Venue:In Proc. 9th International Conference on Foundations of Software Science and Computation Structures (FOSSACS), volume 3921 of Lecture Notes in Computer Science