OpenAlex
Another look at automated theorem-proving
Work
Year: 2007
Type: article
Abstract: I examine the use of automated theorem-proving for reductionist security arguments in cryptography and discuss three papers that purport to show the potential of computer-assisted proofwriting and pro... more
Cites: 18
Cited by: 10
Related to: 10
FWCI:
Citation percentile (by year/subfield): 84.64
Open Access status: bronze