×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [languagebased security]
Jonas Magazinius, Andrei Sabelfeld – Chalmers University of Technology Billy K. Rios – Cylance Inc. CROSSING ORIGINS BY CROSSING FORMATS
217 views
Civitas A Secure Remote Voting System Michael Clarkson, Stephen Chong, Andrew Myers Cornell University Dagstuhl Seminar on Frontiers of Electronic Voting
216 views
Course Review Anupam Datta CMU Fall 2007-08 18739A: Foundations of Security and Privacy
222 views
Language-Based Security Proof-Carrying Code Greg Morrisett Cornell University Thanks to G.Necula & P.Lee
222 views
(Advanced) topics in Programming Languages Instructor: Mooly Sagiv TA: Shachar Itzhaky msagiv/courses/apl12.html Spring 2012 Inspired
225 views
TAJ: Effective Taint Analysis of Web Applications PLDI 2009 Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman
213 views