Machine-Checked Proofs for Cryptographic Standards.
José Bacelar AlmeidaCécile Baritel-RuetManuel BarbosaGilles BartheFrançois DupressoirBenjamin GrégoireVincent LaporteTiago OliveiraAlley StoughtonPierre-Yves StrubPublished in: IACR Cryptol. ePrint Arch. (2019)
Keyphrases
- theorem proving
- smart card
- mathematical proofs
- widely accepted
- theorem prover
- web services
- security properties
- flowshop
- encryption scheme
- neural network
- encryption key
- international standards
- formal proof
- international standard
- open standards
- decision procedures
- search engine
- metadata
- website
- first order logic
- scheduling problem
- special case