Another look at automated theorem-proving II

DOI10.1515/jmc-2011-0014zbMath1233.94018OpenAlexW3032560157MaRDI QIDQ3225748

Neal Koblitz

Publication date: 22 March 2012

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

Full work available at URL: https://doi.org/10.1515/jmc-2011-0014

zbMATH Keywords

computer-assisted proofpublic key cryptographyencryptionproof checkingautomated theorem-proving

Mathematics Subject Classification ID

Uses Software

• EasyCrypt

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