Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques.

Davide Marchignoli, Fabio Martinelli

Browse the full TACAS paper archive.