Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations.
José Bacelar AlmeidaManuel BarbosaGilles BartheFrançois DupressoirPublished in: CCS (2013)
Keyphrases
- computer aided
- provably secure
- public key cryptography
- standard model
- diagnosis of breast cancer
- key management
- computer aided design
- image analysis
- computer aided diagnosis
- blind signature
- security model
- source code
- signature scheme
- capsule endoscopy
- process planning
- blind signature scheme
- public key
- low cost
- pulmonary nodules
- early diagnosis
- diffie hellman
- pattern recognition
- neural network
- fault tree
- hash functions
- information security
- machine learning