Automated Proofs for Asymmetric Encryption.

Judicaël Courant Marion Daubignard Cristian Ene Pascal Lafourcade Yassine Lakhnech

Published in: J. Autom. Reason. (2011)

Keyphrases

automated theorem provers
semi automated
theorem prover
computer aided
fully automated
theorem proving
databases
semi automatic
computer assisted
key management
decision procedures