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

Sofía Celi Jonathan Hoyland Douglas Stebila Thom Wiggers

Published in: ESORICS (3) (2022)

Keyphrases

formal verification
model checking
statistical models
object oriented
knowledge acquisition
complex systems
statistical model
experimental data