[FOM] Provable security and foundations of mathematics

José Manuel Rodríguez Caballero josephcmac at gmail.com
Mon Jun 10 08:46:03 EDT 2019

Dear FOM members,
  There are several positions concerning whether the foundations of
mathematics are enough in order to develop a branch of cryptography known
as provable security. One of the most controversial papers in this debate
is the following one:

Koblitz, Neal. The uneasy relationship between mathematics and
cryptography. *Notices of the AMS* 54.8 (2007): 972-979.

 Several important cryptographers energetically
criticized Koblitz' position in letters to the editor:

*Notices Amer. Math. Soc.*, *54* (12): 1454–1455, 2007
*Notices Amer. Math. Soc.*, *55* (1): 6–7, 2008

  It would be interesting to read several opinions from the FOM members
concerning whether or not provable security can be reduced to foundations
of mathematics.

Kind Regards,
Jose M.


Jose Manuel Rodriguez Caballero

arvutiteaduse instituut / Institute of Computer Science
Tartu Ülikool / University of Tartu

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190610/9974284d/attachment.html>

More information about the FOM mailing list