Another look at automated theorem-proving

DOI10.1515/jmc.2007.020zbMath1132.68681OpenAlexW2040200723WikidataQ58043219 ScholiaQ58043219MaRDI QIDQ5443571

Neal Koblitz

Publication date: 21 February 2008

Published in: Journal of Mathematical Cryptology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/jmc.2007.020

zbMATH Keywords

signaturespublic key cryptographyencryptionautomated theorem-provingproof-checking

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (1)

Beyond Provable Security Verifiable IND-CCA Security of OAEP

Cites Work

• Another look at ``provable security
• Probabilistic encryption
• On the security of public key protocols
• Design and Analysis of Practical Public-Key Encryption Schemes Secure against Adaptive Chosen Ciphertext Attack
• Another look at HMQV
• HMQV: A High-Performance Secure Diffie-Hellman Protocol
• On the Importance of Public-Key Validation in the MQV and HMQV Key Agreement Protocols
• Automated Security Proofs with Sequences of Games

This page was built for publication: Another look at automated theorem-proving