Another look at “provable security (2004)

by Neal Koblitz, Alfred J Menezes