Sign in

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

Sofía CeliJonathan HoylandDouglas StebilaThom Wiggers
Published in: ESORICS (3) (2022)
Keyphrases
  • formal verification
  • model checking
  • statistical models
  • object oriented
  • knowledge acquisition
  • complex systems
  • statistical model
  • experimental data