research
∙
12/08/2022
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
We provide a framework consisting of tools and metatheorems for the end-...
share
research
∙
12/05/2022
A Generic Methodology for the Modular Verification of Security Protocol Implementations
Security protocols are essential building blocks of modern IT systems. S...
research
∙
05/28/2021
