Cryptol: specification, implementation and verification of high-grade cryptographic applications.

Published in: FMSE (2007)

Keyphrases

protocol specification
formal verification
formal methods
specification language
wide range
model checking
cryptographic protocols
code generation
database
neural network
case study
high level
access control
face verification
implementation details
highly modular