V. Benjamin Livshits

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi, Kevin C. Webb
Fluxo: a system for internet service programming by non-expert developers. SoCC (2010)
Emre Kiciman, V. Benjamin Livshits
AjaxScope: A Platform for Remotely Monitoring the Client-Side Behavior of Web 2.0 Applications. ACM Trans. Web 4 (4) (2010)
Leo A. Meyerovich, V. Benjamin Livshits
ConScript: Specifying and Enforcing Fine-Grained Security Policies for JavaScript in the Browser. IEEE Symposium on Security and Privacy (2010)
V. Benjamin Livshits, Aditya V. Nori, Sriram K. Rajamani, Anindya Banerjee
Merlin: specification inference for explicit information flow problems. PLDI (2009)
Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi
Improving the responsiveness of internet services with automatic cache placement. EuroSys (2009)
Paruj Ratanaworabhan, V. Benjamin Livshits, Benjamin G. Zorn
NOZZLE: A Defense Against Heap-spraying Code Injection Attacks. USENIX Security Symposium (2009)
K. Vikram, Abhishek Prateek, V. Benjamin Livshits
Ripley: automatically securing web 2.0 applications through replicated execution. CCS (2009)
Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi
FLUXO: A Simple Service Compiler. HotOS (2009)
Salvatore Guarnieri, V. Benjamin Livshits
GATEKEEPER: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code. USENIX Security Symposium (2009)
V. Benjamin Livshits, Emre Kiciman
Doloto: code splitting for network-bound web 2.0 applications. SIGSOFT FSE (2008)
Dragos Manolescu, Brian Beckman, V. Benjamin Livshits
Volta: Developing Distributed Applications by Recompiling. IEEE Softw. 25 (5) (2008)
Monica S. Lam, Michael C. Martin, V. Benjamin Livshits, John Whaley
Securing web applications with static and dynamic information flow tracking. PEPM (2008)
V. Benjamin Livshits, Weidong Cui
Spectator: Detection and Containment of JavaScript Worms. USENIX Annual Technical Conference (2008)
Úlfar Erlingsson, V. Benjamin Livshits, Yinglian Xie
End-to-End Web Application Security. HotOS (2007)
V. Benjamin Livshits, Úlfar Erlingsson
Using web application construction frameworks to protect against code injection attacks. PLAS (2007)
Emre Kiciman, V. Benjamin Livshits
AjaxScope: a platform for remotely monitoring the client-side behavior of web 2.0 applications. SOSP (2007)
Silvia Breu, Thomas Zimmermann, Christian Lindig, V. Benjamin Livshits
Mining Additions of Method Calls in ArgoUML. Aspects For Legacy Applications (2006)
Thomas Zimmermann, Silvia Breu, Christian Lindig, V. Benjamin Livshits
Mining additions of method calls in ArgoUML. MSR (2006)
Michael C. Martin, V. Benjamin Livshits, Monica S. Lam
Finding application errors and security flaws using PQL: a program query language. OOPSLA (2005)
Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel
Context-sensitive program analysis as database queries. PODS (2005)
V. Benjamin Livshits, Thomas Zimmermann
DynaMine: finding common error patterns by mining software revision histories. ESEC/SIGSOFT FSE (2005)
Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam
Improving software security with a C pointer analysis. ICSE (2005)
V. Benjamin Livshits, Monica S. Lam
Finding Security Vulnerabilities in Java Applications with Static Analysis. USENIX Security Symposium (2005)
V. Benjamin Livshits, John Whaley, Monica S. Lam
Reflection Analysis for Java. APLAS (2005)
V. Benjamin Livshits, Monica S. Lam
Tracking pointers with path and context sensitivity for bug detection in C programs. ESEC / SIGSOFT FSE (2003)