Automated Proofs of Pairing-Based Cryptography.
Gilles BartheBenjamin GrégoireBenedikt SchmidtPublished in: CCS (2015)
Keyphrases
- automated theorem provers
- semi automated
- cellular automata
- automated analysis
- computer assisted
- theorem prover
- fully automated
- three dimensional
- computer aided
- image segmentation
- data driven
- artificial intelligence
- information security
- context sensitive
- artificial neural networks
- multiscale
- theorem proving
- similarity measure
- equational theories