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

Sofa Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers

Browse the full ESORICS paper archive.