Proof Techniques for Cryptographic Processes (1999)

by Michele Boreale, Rocco De Nicola, Rosario Pugliese
Venue:in 14th Annual IEEE Symposium on Logic in Computer Science