Computer-Aided Cryptographic Proofs.

Gilles Barthe Juan Manuel Crespo Benjamin Grégoire César Kunz Santiago Zanella Béguelin

Published in: ITP (2012)

Keyphrases

computer aided
computer assisted
smart card
computer aided diagnosis
theorem proving
image analysis
diagnosis of breast cancer
computer aided design
hash functions
fault tree
security protocols
cad systems
capsule endoscopy
theorem prover
design tools
machine learning