Guessing Attacks and the Computational Soundness of Static Equivalence.

Martn Abadi, Mathieu Baudet, Bogdan Warinschi

Browse the full FOSSACS paper archive.