Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs.
Gilles BartheBenjamin GrégoireCésar KunzYassine LakhnechSantiago Zanella BéguelinPublished in: CPP (2012)
Keyphrases
- computer aided
- design tools
- cryptographic algorithms
- countermeasures
- information security
- computer assisted
- cryptographic protocols
- cellular automata
- image analysis
- diagnosis of breast cancer
- capsule endoscopy
- computer aided design
- computer aided diagnosis
- security protocols
- theorem prover
- watermarking scheme
- process planning
- early diagnosis
- data mining
- cad systems
- expert systems
- pattern recognition
- feature extraction