Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger 0001, Sven N. Wiesner, David A. Basin, Peter Müller 0001. Sound Verification of Security Protocols: From Design to Interoperable Implementations. In 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023. pages 1077-1093, IEEE, 2023. [doi]
Abstract is missing.