In­Browser Certificate Tracking System for Protection Against MITM Attacks (Changping Chen, Xinyue Deng, Xiaomin Wang): writeup , code .

AutoPS: A Suite of Tools for Privilege Separation in Software Systems (Amruth Venkatraman, Jonathan Chien, Thomas Lu, Jeffrey Sun): writeup , code .

Coq Framework for security policies and proof of concept application (Anders Kaseorg, Jason Gross, Peng Wang): writeup , code .

OK: OAuth 2.0 interface for the Kerberos V5 Authentication Protocol (James Max Kanter, Bennett Cyphers, Bruno Faviero, John Peebles): writeup , code .