Home
Course description
Syllabus
Projects
Lecture slides
Tools and reference | |
Analysis of ZRTP
 | Andrew Schwartz |
| Jeremy Robin |
Summary
ZRTP is a key establishment protocol to be used in VoIP systems in conjuction with SIP and SRTP. The novel aspect of this protocol is the use of voice digests to verify identities. This project studies the effect of various types of voice forgeries on the security of key establishment. The analysis uses the Murphi model checker.
Project report: pdf, txt
Presentation Slides: ppt, pdf
|
