Salvatore Guarnieri

Publication Activity (10 Years)

Years Active: 2005-2014
Publications (10 Years): 0

Top Topics

Automatic Detection

Security Analysis

Web Applications

Top Venues

IBM J. Res. Dev.

Publications

Omer Tripp, Salvatore Guarnieri, Marco Pistoia, Aleksandr Y. Aravkin
ALETHEIA: Improving the Usability of Static Security Analysis. CCS (2014)
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE (2013)
Dragos Sbirlea, Michael G. Burke, Salvatore Guarnieri, Marco Pistoia, Vivek Sarkar
Automatic detection of inter-application permission leaks in Android applications. IBM J. Res. Dev. 57 (6) (2013)
Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg
Saving the world wide web from vulnerable JavaScript. ISSTA (2011)
Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg
F4F: taint analysis of framework-based web applications. OOPSLA (2011)
Salvatore Guarnieri
GULFSTREAM: Staged Static Analysis for Streaming JavaScript Applications. WebApps (2010)
Salvatore Guarnieri, V. Benjamin Livshits
GATEKEEPER: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code. USENIX Security Symposium (2009)
Anh Nguyen-Tuong, Salvatore Guarnieri, Doug Greene, Jeff Shirley, David Evans
Automatically Hardening Web Applications Using Precise Tainting. SEC (2005)