On the Symbolic Analysis of Low-Level Cryptographic Primitives: Modular Exponentiation and the Diffie-Hellman Protocol (2003)

Cached

Download Links

by Michele Boreale
Venue:In Proc. of FCS 2003
Citations:7 - 1 self