The article states what is a proof, what is provable security, and what are approaches to provable security, thinks that the provable security is a type of asymptotic, relative, and dynamic security, and is only a complement to but not a replacement of exact security or concrete security from security analysis. Lastly, a reward is offered for the solution of three REESSE1+ problems, which may be regarded as a type of security proof by experiment.
View on arXiv