Cryptographically Sound and Machine-Assisted Verification of Security Protocols.

Michael Backes, Christian Jacobi

Browse the full STACS paper archive.