Login / Signup
Formal Certification of ElGamal Encryption.
Gilles Barthe
Benjamin Grégoire
Sylvain Heraud
Santiago Zanella Béguelin
Published in:
Formal Aspects in Security and Trust (2008)
Keyphrases
</>
formal model
encryption decryption
encryption algorithms
security properties
formal specification
secret key
encryption scheme
formal methods
third party
knowledge base
database
database management systems
ciphertext
formal representation
case study
high security
public key cryptography
learning algorithm