Practice-Oriented Provable-Security by Mihir Bellare (source code)

= Practice-Oriented Provable-Security by Mihir Bellare
{c}
{tag=Work by Mihir Bellare}

https://cseweb.ucsd.edu/~mihir/papers/isw-pops.pdf

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.