Proof Techniques for Cryptographic Processes.

Michele Boreale, Rocco De Nicola, Rosario Pugliese

Browse the full LICS paper archive.