
- Signing with Partially Adversarial Hashing Silvio Micali Leonid Reyzin \Lambda
- To appear in Journal of Cryptology. Preliminary version appeared as MIT/LCS Technical Report 683, February 1996.
- Certificate Discovery Using SPKI/SDSI 2.0 Certificates
- New Tools in Cryptography: Mutually Indepent Commitments, Tweakable Block Ciphers, and
- Robust Threshold DSS Signatures \Lambda Rosario Gennaro y , Stanis/law Jarecki \Lambda , Hugo Krawczyk z and Tal Rabin y
- Group Sharing and Random Access in Cryptographic Storage File Systems
- The Cryptographic Impact of Groups with Infeasible Susan Rae Hohenberger
- A Study of Statistical ZeroKnowledge Proofs Salil Pravin Vadhan
- E#cient Threshold Cryptosystems Stanislaw Jarecki
- Using Compression For Source Based Classification Of Text
- A Study of Luby-Racko Ciphers Zul kar Amin Ramzan
- An Efficient NonInteractive Statistical ZeroKnowledge Proof System
- Automated Analysis of Security APIs Amerson H. Lin
- An abridged version of this paper appears in Advances in Cryptology --Crypto '99 Proceedings, Springer Verlag. Check http://theory.lcs.mit.edu/~boyko/aontoaep.html for the most recent full version.
- Secure Distributed Key Generation for Discrete-Log Based Cryptosystems
- A Fair Payment System with Online Anonymous Transfer by Binh D. Vo
- An Implementation of a Secure Web Client Using SPKI/SDSI Certificates
- SPKI/SDSI Secure Web Server Project Andrew J. Maywah
- Amortized E-Cash Moses Liskov
- Error-Free Message Transmission in the Universal Composability Framework
- On the Cryptanalysis of Huffman Codes Mojdeh Mohtashemi
- Lower Bounds for Collusion-Secure Fingerprinting Chris Peikert
- Cryptography in an Unbounded Computational David Paul Woodru#
- AllOrNothing Encryption and The Package Ronald L. Rivest
- Pseudonym Systems Anna Lysyanskaya
- On the Existence of 3-Round Zero-Knowledge Matthew Lepinski
- A Random Server Model for Private Information Retrieval or
- Signature Schemes and Applications to Cryptographic Protocol Design
- Dynamic Accumulators and Application to Ecient Revocation of Anonymous Credentials
- Extracting Quantum Entanglement (General Entanglement Purification Protocols)
- SelfDescribing Cryptography through Certified Universal Benjamin Adida
- On Symbolic Analysis of Cryptographic Protocols Akshay Patil
- The AllorNothing Nature of TwoParty Secure Computation
- Proactive Public Key and Signature Systems Amir Herzberg \Lambda Markus Jakobsson y Stanisl/aw Jarecki z Hugo Krawczyk x
- On the Design and Security of RC2 Lars R. Knudsen 1 , Vincent Rijmen 2 , Ronald L. Rivest 3 ,
- Sequential Composition of Protocols Without Simultaneous Termination
- A Study of Secure Database Access and General Two-Party Computation
- Adaptive Security in the Threshold Setting: From Cryptosystems to Signatures
- AccountableSubgroup Multisignatures # Silvio Micali + Kazuo Ohta # Leonid Reyzin
- The RC5 Encryption Algorithm ? Ronald L. Rivest
- National Identi cation Systems Thi^en-L^oc Nguy^en
- A Method for Obtaining Digital Signatures and PublicKey Cryptosystems
- Introduction 1.1 Background
- Advances in Cryptographic Voting Systems Submitted to the Department of Electrical Engineering and Computer
- An Implementation of MicroMint Jeffrey Burstein
- The Free Haven User Interface: Methods for Inserting and Retrieving Information Stored in Free Haven
- A Complete Problem for Statistical Zero Knowledge Amit Sahai y Salil Vadhan z
- An Ecient System for Non-transferable Anonymous Credentials with Optional
- A PreComputation Scheme for Speeding Up PublicKey Cryptosystems
- Certi cate Chain Discovery in SPKI/SDSI Dwaine Clarke
- On the Round Security of Symmetric-Key Cryptographic Primitives Zul kar Ramzan Leonid Reyzin .
- Electronic Lottery Tickets as Micropayments Ronald L. Rivest
- The Free Haven Project: Design and Deployment of an Anonymous Secure Data Haven
- Secure Electronic Voting Over the World Wide Web Mark A. Herschberg
- Multi-party Quantum Computation B.Sc. Mathematics and Computer Science
- Self-Describing Cryptography through Certified Universal Benjamin Adida
- Improving The Exact Security Of Digital Signature Schemes Silvio Micali Leonid Reyzin
- Adaptive Security for Threshold Cryptosystems Extended version of a paper that appeared under the same title in Crypto'99
- Automated Analysis of Security APIs Amerson H. Lin
- Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data
- Zero-Knowledge with Public Keys Leonid Reyzin
- Oblivious Data Structures: Applications to Cryptography
- Provably Secure PasswordAuthenticated Key Exchange Using DiffieHellman
- Acknowledgments The code for this project was developed by Mark Herschberg, Ben Adida, and Randy
- Order Computations in Generic Groups Andrew V. Sutherland
- Cryptographic Error Correction Christopher Jason Peikert
- National Identification Systems Thi^en-L^oc Nguy^en
- Min-Round Resettable Zero-Knowledge In The Public-Key Model
- The extended abstract of this work appears Advances in Cryptology --Asiacrypt 2000, Tatsuaki Okamoto, editor, Lecture Notes in Computer Science vol. 1976, Springer-Verlag, 2000. c IACR
- On the Round Security of Symmetric-Key Cryptographic Primitives Zulfikar Ramzan Leonid Reyzin
- Improving the Exact Security of Digital Signature Schemes Leonid Reyzin
- Security and Privacy in RadioFrequency Identification Stephen August Weis
- Electronic Voting Protocol This is based off of A practical Secret Voting Scheme for Large Scale Elections by Fujioka, Oka
- Pseudonym Systems Anna Lysyanskaya
- Computational Soundness of Formal Adversaries Jonathan Herzog
- Unique Signatures and Veri able Random Functions from the DH-DDH Separation
- The Shortest Vector in a Lattice is Hard to Approximate to within Some Constant.
- Resettable ZeroKnowledge \Lambda Ran Canetti y Oded Goldreich z Shafi Goldwasser x Silvio Micali --
- Soundness in the Public-Key Model Silvio Micali and Leonid Reyzin
- Zero-Knowledge with Public Keys Leonid Reyzin
- SDSI --A Simple Distributed Security Infrastructure Ronald L. Rivest
- Ecient and Non-Interactive Non-Malleable Commitment
- A Signature Scheme with Ecient Protocols Jan Camenisch
- The Analysis of Cryptographic APIs Using The Theorem Prover Otter
- Certificate Discovery Using SPKI/SDSI 2.0 Certificates
- Design Principles and Patterns for Computer Systems That Are Simultaneously Secure and Usable
- Advances in Signatures, Encryption, and E-Cash from Bilinear Groups
- Computational Soundness for Standard Assumptions of Formal Cryptography
- WebBased User Interface for a Simple Distributed Security Infrastructure (SDSI)
- On the Composition of Authenticated Byzantine Agreement Yehuda Lindell
- Security and Privacy in Radio-Frequency Identification Stephen August Weis
- Improving The Exact Security Of Digital Signature Schemes Silvio Micali Leonid Reyzin
- New Tools in Cryptography: Mutually Indepent Commitments, Tweakable Block Ciphers, and
- Practical Implementation and Analysis of Hyper-Encryption Jason K. Juang
- Security Proofs for the MD6 Hash Function Mode of Operation
- End-to-End Verifiability for Optical Scan Voting Submitted to the Department of Electrical Engineering and Computer
- Encrypted Receipts for Voter-Verified Elections Using Homomorphic Encryption
- Cryptography in an Unbounded Computational David Paul Woodruff
- SPKI/SDSI HTTP Server / Certificate Chain Discovery in SPKI/SDSI
- Trust Economies in the Free Haven Project Brian T. Sniffen
- Multiple Administrators for Electronic Voting Brandon William DuRette
- A New Paradigm for Collision-free Hashing
- Secure Electronic Voting Over the World Wide Web Mark A. Herschberg
- A sends (A -1) to B B sends (B -1) to A, C, D
- An Efficient System for Non-transferable Anonymous Credentials with Optional
- An Implementation of SDSI The Simple Distributed Security Infrastructure
- Robust and Ecient Sharing of RSA Functions Rosario Gennaro y Stanis law Jarecki z Hugo Krawczyk x Tal Rabin {
- Mutually Independent Commitments Moses Liskov 1 , Anna Lysyanskaya 1 , Silvio Micali 1 ,
- An Identity Escrow Scheme with Appointed Jan Camenisch
- Detection and Recovery from the Oblivious Engineer Attack
- Group Blind Digital Signatures: Theory and Applications
- Forward-Secure Signatures with Optimal Signing and Verifying
- Introduction 1.1 Background
- Cryptography and Machine Learning Ronald L. Rivest*
- Speeding up Discrete Log and Factoring Based Schemes via Precomputations
- An efficient micropayment system based on probabilistic polling Stanisl/aw Jarecki \Lambda Andrew Odlyzko y
- Lower Bounds for Oblivious Transfer Reductions Yevgeniy Dodis 1 and Silvio Micali 2
- Min-Round Resettable Zero-Knowledge In The Public-Key Model
- The RC5 Encryption Algorithm ? Ronald L. Rivest
- Appears in Advances in Cryptology --Crypto 97 Proceedings, Lecture Notes in Computer Science Vol. ??, B. Kaliski ed., SpringerVerlag, 1997.
- On AllorNothing Transforms and PasswordAuthenticated Key Exchange Protocols
- Computational Soundness for Standard Assumptions of Formal Cryptography
- Prototyping a Lightweight Trust Architecture to Fight Phishing
- PROACTIVE SECRET SHARING How to Cope With Perpetual Leakage
- PayWord and MicroMint: Two simple micropayment schemes
- Design and Analysis of an Anonymous Communications Channel for the Free Haven Project
- Appears in Advances in Cryptology --Crypto 97 Proceedings, Lecture Notes in Computer Science Vol. ??, B. Kaliski ed., SpringerVerlag, 1997.
- Cryptology Prof. Ronald L. Rivest
- Certificate Discovery Using SPKI/SDSI 2.0 Certificates
- Adaptive Security in the Threshold Setting: From Cryptosystems to Signatures
- Finding Four Million Large Random Primes Ronald L. Rivest*
- A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks* (Revision March 23, 1995)
- Accountable-Subgroup Multisignatures Silvio Micali
- Soundness in the Public-Key Model Silvio Micali and Leonid Reyzin
- Pseudonym Systems (Extended Abstract)
- Concurrent Zero-Knowledge Cynthia Dwork Moni Naor y Amit Sahai z
- Adaptively Secure Threshold Cryptography: Introducing Concurrency, Removing Erasures
- Efficient CommunicationStorage Tradeoffs for Multicast Encryption
- Adaptive Security in the Threshold Setting: From Cryptosystems to Signature Schemes
- POSH: A generalized CAPTCHA with security applications Waseem S. Daher
- Towards a Practical Public-key Cryptosystem Loren M Kohnfelder
- New Foundations for Efficient Authentication, Commutative Cryptography, and Private
- Can We Eliminate Certificate Revocation Lists? Ronald L. Rivest
- The extended abstract of this work appears Advances in Cryptology | Asiacrypt 2000, Tatsuaki Okamoto, editor, Lecture Notes in Computer Science vol. 1976, Springer-Verlag, 2000. c
- On the Hardness of the Shortest Vector Problem Daniele Micciancio
- Robust and Efficient Sharing of RSA Functions Rosario Gennaro \Lambda Stanislav Jarecki y Hugo Krawczyk z Tal Rabin x
- Forward-Secure Signatures with Optimal Signing and Verifying
- A Java Implementation of Simple Distributed Security Infrastructure
- Group Blind Digital Signatures: Theory and Applications
- Concurrent Zero-Knowledge: Reducing the Need for Timing Constraints
- A Knapsack Type Public Key Cryptosystem Based On Arithmetic in Finite Fields
- An Implementation of SDSI -The Simple Distributed Security Infrastructure