18-739 Principles of Security and Privacy

Syllabus

Introduction to security protocols

 

 

Lecture slides: ppt

More example protocols and other systems

Contract-Signing Protocols: Fundamental limitation of Contract-Signing and Fair-Exchange, Trusted third party, Optimistic Contract-Signing, Asokan-Shoup-Waidner protocol, Desirable properties (fairness, timeliness, accountability, balance), Abuse-Free Contract-Signing

Lecture slides: ppt,
Readings: