Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation.

Michele Boreale, Maria Grazia Buscemi

Browse the full MFCS paper archive.