sammyg
Current Projects
Past Projects
- IntelliJ with Bazel - Bazel plugin for IntelliJ
- ACTARUS - Taint analysis for JavaScript
- Gulfstream - An incremental points-to Analysis for JavaScript
- Gatekeeper - A points-to analysis for JavaScript to help content providers ensure they are hosting safe JavaScript
-
PHPrevent - Add fine-grained taint tracking and checking to PHP to detect injection attacks
Publications
- Automatic detection of inter-application permission leaks in Android applications @ IBM Journal of Research and Development -- Dragos Sbirlea, Michael G. Burke, Salvatore Guarnieri, Marco Pistoia, Vivek Sarkar
- Andromeda @ FASE '13 -- Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri
- F4F: Taint Analysis of Framework-Based Web Applications @ OOPSLA '11 -- Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg
- ACTARUS @ ISSTA '11 -- Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg
- Gulfstream @ WebApps '10 -- Salvatore Guarnieri and Ben Livshits
- Gatekeeper @ USENIX Security 2009 -- Salvatore Guarnieri and Ben Livshits
- PHPrevent @ Twentieth IFIP International Information Security Conference -- Anh Nguyen-Tuong, Salvatore Guarnieri, Doug Greene, Jeff Shirley, David Evans
Talks