Sound Verification of Security Protocols: From Design to Interoperable Implementations.

Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Mller

Browse the full SP paper archive.