Crypto Protocols

Existing/standard protocols
- Message Security Protocol (@disa.mil)
- SSH 2.0 Protocol Specifications
- SSL
  - Introducing SSL and Certificates
  - Attacking RSA-based Sessions in SSL/TLS (Vlastimil Klima and Ondrej Pokorny and Tomas Rosa, eprint 2003/052)
Link farms
- Cryptographic protocols related papers by pnr@tcm.hut.fi
- Center for High Assurance Computer Systems (CHACS) Publications
- Petri Nets Related Publications (@queensu.ca)
- Authentication & Key Establishment Protocol Design & Analysis Citations (McCarthy)
- SPORE - Security protocols open repository
Common Authentication Protocol Specification Language (21.10.98)
Common Authentication Protocol Specification Language (14.05.98)
Formal Methods
- @Authentication logic
- SPI Calculus
  - "A Calculus for Cryptographic Protocols: The Spi Calculus" by Martín Abadi and Andrew D. Gordon (1997)
Paper farms
- Security Protocols (Papers by Cambridge CL)
- Security and Composition of Multi-party Cryptographic Protocols (Ran Canetti)
Minimizing Bandwidth for Remote Access to Cryptographically Protected Audit Logs (John Kelsey, Bruce Schneier, 1999)
@Oblivious Transfer and Private Information Retrieval
@Mix Nets
@Millionaire's problem (01.02.06)
@Electronic Voting
@Private Polling
@Auctions
@Private search
@Zero-Knowledge Proofs
@Proofs of Knowledge
@Witness Hiding or Witness Indistinguishable Protocols
Byzantine agreements
- The Byzantine Generals Problem (Leslie Lamport, Robert Shostak and Marshall Pease, 1982)
- Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast (HariGovind V. Ramasamy and Christian Cachin, eprint 2006/082)
- On Expected Constant-Round Protocols for Byzantine Agreement (Jonathan Katz, Chiu-Yuen Koo, ECCC Report TR06-028)
Betting & Gambling
- Worker Dismissed as Inquiry Widens Into Big Racing Bet (NY Times)
Tendering
- Defining Security Services for Electronic Tendering (Rong Du, Ernest Foo, Colin Boyd, Brian Fitzgerald)
Memory checking
- Lecture notes
  - On Necessary and Sufficient Cryptographic Assumptions: the Case of Memory Checking (Moni Naor, 2005)
Other protocols
- Secure Multi-Party Computational Geometry (Mikhail J. Atallah and Wenliang Du, WADS 2001)
- Privacy-Preserving Cooperative Scientific Computations (Wenliang Du and Mikhail J. Atallah, CSFW 2001)
- Privacy-Preserving Cooperative Statistical Analysis (Wenliang Du and Mikhail J. Atallah, ACSAC 2001)
- Controlling Access to Published Data Using Cryptography (Gerome Miklau, Dan Suciu, 2003)

Cryptology Pointers by Helger Lipmaa
Got any suggestions or additional links? Mail to <lipmaa>research.cyber.ee
NB! If you find any broken links, please be kind and report them to me together with their current location!

(C) Helger Lipmaa 1997-2009.