Login / Signup

Automated Proofs for Asymmetric Encryption.

Judicaël CourantMarion DaubignardCristian EnePascal LafourcadeYassine Lakhnech
Published in: Concurrency, Compositionality, and Correctness (2010)
Keyphrases
  • semi automated
  • automated theorem provers
  • fully automated
  • theorem proving
  • real time
  • genetic algorithm
  • encryption scheme
  • information hiding
  • encryption algorithms
  • formal proofs