Performing Security Proofs of Stateful Protocols

Andreas V. Hess; Sebastian Mödersheim; Achim D. Brucker; Anders Schlichtkrull

doi:10.1109/CSF51468.2021.00006

Previous
Next
Table of Contents
Related Articles

2021 IEEE 34th Computer Security Foundations Symposium (CSF)

Performing Security Proofs of Stateful Protocols

Year: 2021, Pages: 1-16

DOI Bookmark: 10.1109/CSF51468.2021.00006

Authors

Andreas V. Hess, Technical University of Denmark,DTU Compute,Lyngby,Denmark
Sebastian Mödersheim, Technical University of Denmark,DTU Compute,Lyngby,Denmark
Achim D. Brucker, University of Exeter,Department of Computer Science,Exeter,United Kingdom
Anders Schlichtkrull, Aalborg University,Department of Computer Science,Copenhagen,Denmark

Performing Security Proofs of Stateful Protocols

Authors

Abstract