Alfred Menezes Another Look at Provable Security. 8 2012 EUROCRYPT https://doi.org/10.1007/978-3-642-29011-4_2 conf/eurocrypt/2012 db/conf/eurocrypt/eurocrypt2012.html#Menezes12