Login / Signup
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