Computer-Aided Cryptographic Proofs.
Gilles BartheBenjamin GrégoireSantiago Zanella BéguelinPublished in: SAS (2012)
Keyphrases
- computer aided
- smart card
- computer assisted
- diagnosis of breast cancer
- computer aided diagnosis
- image analysis
- theorem prover
- security protocols
- theorem proving
- computer aided design
- design tools
- process planning
- early diagnosis
- computer vision
- capsule endoscopy
- hash functions
- logistic regression
- medical images
- image processing