Another look at automated theorem-proving II
I continue the discussion initiated in part I (published in this journal in 2007) of whether or not computer-assisted proofs are a promising approach to preventing errors in reductionist security arguments. I examine some recent papers that describe automated security proofs for hashed ElGamal encry...
Main Author: | Koblitz Neal |
---|---|
Format: | Article |
Language: | English |
Published: |
De Gruyter
2012-02-01
|
Series: | Journal of Mathematical Cryptology |
Subjects: | |
Online Access: | https://doi.org/10.1515/jmc-2011-0014 |
Similar Items
-
Another look at automated theorem-proving
by: Koblitz Neal
Published: (2007-12-01) -
Automated Deduction, Les Arcs, France, July 8-11, 1980 /
by: Conference on Automated Deduction, (5th : 1980 : Les Arcs), et al.
Published: (1980) -
Symposium on Automatic Demonstration [proceedings] /
by: Symposium on Automatic Demonstration (1968 : Versailles, France), et al.
Published: (1970) -
Automated theorem proving : a logical basis /
by: 403272 Loveland, Donald W.
Published: (1978) -
Proving geometry theorems: Student prospective teachers’ perseverance and mathematical reasoning
by: Nyimas Aisyah, et al.
Published: (2023-09-01)