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
Citations:72 - 8 self