Computer Security

Security of Cryptographic Protocols

  • Timed Models for Protocol Security (cmu-tr)
  • A Model for Secure Protocols and Their Compositions (rsp-95) (long-version)

    • Electronic Franking

  • Cryptography and Postal Indicia (cmu-tr)

    • Plagiarism

    nch@cs.cmu.edu