There is a short discussion and links to their papers toward the bottom of the second section of this Wikipedia entry https://en.wikipedia.org/wiki/Provable_sec

There is a short discussion and links to their papers toward the bottom of the second section of this Wikipedia entry https://en.wikipedia.org/wiki/Provable_security https://en.wikipedia.org/wiki/Provable_security