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
∙
06/15/2020
The EMV Standard: Break, Fix, Verify
EMV is the international protocol standard for smartcard payment and is ...
research
∙
06/27/2018
