Proof Techniques for Cryptographic Processes (1999)

Cached

Download Links

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