Toggle navigation
15-811: Verifying Complex Systems
Home
Syllabus
Schedule
Tools
Assignments
Projects
17sp
Lecture: Security: Browser shim
Date: 4/05/17
Reading
Required reading:
Establishing Browser Security Guarantees through Formal Shim Verification
, Dongseok Jang, Zachary Tatlock, Sorin Lerner,
USENIX Security
, 2012.