A tale of two models: formal verification of KEMTLS via Tamarin.

Sofía Celi Jonathan Hoyland Douglas Stebila Thom Wiggers

Published in: IACR Cryptol. ePrint Arch. (2022)

Keyphrases

formal verification
probabilistic model
model checking
automated verification
data sets
machine learning
bayesian networks
experimental data
statistical models