Formal certification of code-based cryptographic proofs.

Gilles Barthe Benjamin Grégoire Santiago Zanella Béguelin

Published in: POPL (2009)

Keyphrases

source code
theorem proving
smart card
third party
security protocols
formal model
error correcting
computer programs
code generation
equational theories
formal methods
formal specification
hash functions
key management
decision procedures
formal representation
formal language