Predicative Recursion and Computational Complexity (1992)

Cached

Download Links

by Stephen J. Bellantoni
Citations:46 - 3 self

Documents Related by Co-Citation

179 A New Recursion-Theoretic Characterization Of The Polytime Functions – Stephen Bellantoni, Stephen Cook - 1992
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
22 Predicative recursion and the polytime hierarchy – S Bellantoni - 1995
641 Universally composable security: A new paradigm for cryptographic protocols – Ran Canetti - 2013
1066 On the Security of Public Key Protocols – Danny Dolev, et al. - 1983
2765 New Directions in Cryptography – Whitfield Diffie, Martin E. Hellman - 1976
469 A practical public key cryptosystem provably secure against adaptive chosen ciphertext attack – Ronald Cramer, Victor Shoup - 1998
457 Relations among notions of security for public-key encryption schemes – Mihir Bellare, David Pointcheval, Phillip Rogaway - 1998
734 Notions of Computation and Monads – Eugenio Moggi - 1991