Salvatore Guarnieri

According to our database, Salvatore Guarnieri authored at least 8 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

ALETHEIA: Improving the Usability of Static Security Analysis.

Omer Tripp, Salvatore Guarnieri, Marco Pistoia, Aleksandr Y. Aravkin

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

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

Andromeda: Accurate and Scalable Security Analysis of Web Applications.

Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri

Proceedings of the Fundamental Approaches to Software Engineering, 2013

2011

F4F: taint analysis of framework-based web applications.

Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Saving the world wide web from vulnerable JavaScript.

Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2010

GULFSTREAM: Staged Static Analysis for Streaming JavaScript Applications.

Salvatore Guarnieri

Proceedings of the USENIX Conference on Web Application Development, 2010

2009

GATEKEEPER: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code.

Salvatore Guarnieri, V. Benjamin Livshits

Proceedings of the 18th USENIX Security Symposium, 2009

2005

Automatically Hardening Web Applications Using Precise Tainting.

Anh Nguyen-Tuong, Salvatore Guarnieri, Doug Greene, Jeff Shirley, David Evans

Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005