Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations.
José Bacelar AlmeidaManuel BarbosaGilles BartheFrançois DupressoirPublished in: IACR Cryptol. ePrint Arch. (2013)
Keyphrases
- computer aided
- provably secure
- public key cryptography
- standard model
- computer aided diagnosis
- computer aided design
- diagnosis of breast cancer
- capsule endoscopy
- source code
- image analysis
- cost effective
- security model
- blind signature scheme
- public key
- process planning
- key management
- feature extraction
- neural network
- hash functions
- pulmonary nodules
- end to end
- pattern recognition
- similarity measure
- image processing