default search action
"A Tale of Two Models: Formal Verification of KEMTLS via Tamarin."
Sofía Celi et al. (2022)
- Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers:
A Tale of Two Models: Formal Verification of KEMTLS via Tamarin. ESORICS (3) 2022: 63-83
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.