Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

A Tale of Two Models: Formal Verification of KEMTLS via Tamarin

20227 citationsBook Chapter

Authors

Jonathan Hoyland

Douglas Stebila · University of Waterloo

Thom Wiggers · Radboud University Nijmegen

Topics & Keywords

Advanced Authentication Protocols Security User Authentication and Security Systems Cryptographic Implementations and Security

UN Sustainable Development Goals

Peace, Justice and strong institutions

Publication Details

Published in: Lecture notes in computer science

DOI: 10.1007/978-3-031-17143-7_4

Field-Weighted Citation Impact: 4.32

A Tale of Two Models: Formal Verification of KEMTLS via Tamarin | Researchclopedia