Automatically Hardening Web Applications Using Precise Tainting. - Anh Nguyen-Tuong; Salvatore Guarnieri; Doug Greene; Jeff Shirley; David Evans 001 (SEC, 2005)

GATEKEEPER: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code. - Salvatore Guarnieri; V. Benjamin Livshits (USENIX Security Symposium, 2009)

GULFSTREAM: Staged Static Analysis for Streaming JavaScript Applications. - Salvatore Guarnieri (WebApps, 2010)

Saving the world wide web from vulnerable JavaScript. - Salvatore Guarnieri; Marco Pistoia; Omer Tripp; Julian Dolby; Stephen Teilhet; Ryan Berg (ISSTA, 2011)

F4F: taint analysis of framework-based web applications. - Manu Sridharan; Shay Artzi; Marco Pistoia; Salvatore Guarnieri; Omer Tripp; Ryan Berg (OOPSLA, 2011)

Andromeda: Accurate and Scalable Security Analysis of Web Applications. - Omer Tripp; Marco Pistoia; Patrick Cousot; Radhia Cousot; Salvatore Guarnieri (FASE, 2013)

Automatic detection of inter-application permission leaks in Android applications. - Dragos Sbirlea; Michael G. Burke; Salvatore Guarnieri; Marco Pistoia; Vivek Sarkar (IBM J. Res. Dev., 2013)

ALETHEIA: Improving the Usability of Static Security Analysis. - Omer Tripp; Salvatore Guarnieri; Marco Pistoia; Aleksandr Y. Aravkin (CCS, 2014)