Computer-Aided Security Proofs for the Working Cryptographer.

Gilles Barthe Benjamin Grégoire Sylvain Heraud Santiago Zanella Béguelin

Published in: CRYPTO (2011)

Keyphrases

computer aided
computer assisted
computer aided diagnosis
information security
diagnosis of breast cancer
security issues
access control
image analysis
computer aided design
network security
capsule endoscopy
theorem prover
design tools
differential diagnosis
neural network
data mining
cad systems
early diagnosis