Fundamental problems in provable security and cryptography
2006 ◽
Vol 364
(1849)
◽
pp. 3215-3230
◽
Keyword(s):
This paper examines methods for formally proving the security of cryptographic schemes. We show that, despite many years of active research and dozens of significant results, there are fundamental problems which have yet to be solved. We also present a new approach to one of the more controversial aspects of provable security, the random oracle model.
2011 ◽
Vol 282-283
◽
pp. 307-311
2016 ◽
pp. 389-407
◽
Keyword(s):
2017 ◽
pp. 201-218
◽
Keyword(s):
2018 ◽
Vol 18
(3)
◽
pp. 715-724
Keyword(s):