Jonas Magazinius, Andrei Sabelfeld – Chalmers University of Technology Billy K. Rios – Cylance Inc. CROSSING ORIGINS BY CROSSING FORMATS.
Civitas A Secure Remote Voting System Michael Clarkson, Stephen Chong, Andrew Myers Cornell University Dagstuhl Seminar on Frontiers of Electronic Voting.
Course Review Anupam Datta CMU Fall 2007-08 18739A: Foundations of Security and Privacy.
Language-Based Security Proof-Carrying Code Greg Morrisett Cornell University Thanks to G.Necula & P.Lee.
(Advanced) topics in Programming Languages Instructor: Mooly Sagiv TA: Shachar Itzhaky msagiv/courses/apl12.html Spring 2012 Inspired.
TAJ: Effective Taint Analysis of Web Applications PLDI 2009 Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman.