Practice-oriented provable-security”, ISW (1997)

by M Bellare