 Universally Composable Security: A New Paradigm for Cryptographic Protocols by Ran Canetti

Cryptology ePrint Archive report2000/067. Abstract describes modular security analysis and concurrent composition. Received23December2000; current version revised12February2020; an extended abstract appeared at FOCS2001. The current revision is not the unchanged2001 text.