Performing Security Proofs of Stateful Protocols
Hess, Andreas V., Modersheim, Sebastian, Brucker, Achim D., Schlichtkrull, Anders
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Published in 2021 IEEE 34th Computer Security Foundations Symposium (CSF) (01.06.2021)
Get full text
Conference Proceeding