Sound Verification of Security Protocols: From Design to Interoperable Implementations

Presented at IEEE Symposium on Security and Privacy 44 by

David Basin

Christoph Sprenger

Ralf Sasse

Joseph Lallemand

Linard Arquint

Felix Wolf

Sven Wiesner

Peter Müller