Home
Course description
Syllabus
Projects
Lecture slides
Tools and reference
Analysis of 802.16e Multicast-Broadcast Key Distribution Protocols
Ju-Yi Kuo
Security Analysis of SIP
Greg Nelson
Duc Pham
Finite Security Analysis of OTRv2
Joseph Bonneau
Andrew Morrison
Onion Routing without PKI: Analysis of Source Anonymity
Saurabh Shrivastava
Analysis of ZRTP
Andrew Schwartz
Jeremy Robin
Analysis of MOBIKE - IKEv2 Mobility and Multihoming Protocol
Erik Weathers
Faisal Memon
Analysis of Efficient Short-Password Key Exchange Protocol
Scott Lulovics
Formalization of HIPAA
Dina Thomas
Navya Rehani
Simon Berring
Analysis of the IEEE 802.16e 3-way handshake
Srinivas Inguva
Vijay Chauhan
Analysis of Octopus and Related Protocols
Ryan Wisnesky
Taral Joglekar
Last updated: November 19, 2004.
