A plausible approach to computer-aided cryptographic proofs

  title={A plausible approach to computer-aided cryptographic proofs},
  author={Shai Halevi},
  journal={IACR Cryptology ePrint Archive},
  • Shai Halevi
  • Published 2005 in IACR Cryptology ePrint Archive
This paper tries to sell a potential approach to making the process of writing and verifying our cryptographic proofs less prone to errors. Specifically, I advocate creating an automated tool to help us with the mundane parts of writing and checking common arguments in our proofs. On a high level, this tool should help us verify that two pieces of code induce the same probability distribution on some of their common variables. In this paper I explain why I think that such a tool would be useful… CONTINUE READING
Highly Influential
This paper has highly influenced 15 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 129 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 80 extracted citations

129 Citations

Citations per Year
Semantic Scholar estimates that this publication has 129 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…