 Practice-Oriented Provable-Security by Mihir Bellare

Author manuscript dated September1998; title page records ISW97 proceedings, LNCS1396 (1998), and LNCS1561 (1999). Sections2.2 and3.2 explain reductions and concrete security; section4 distinguishes the formal guarantee from its assumptions and limitations.