Salvatore Guarnieri

Statistics

Publications

Citations

643

H-Index

Active since

2009

Affiliations

IBM Research - Thomas J. Watson Research Center(Current)

IBM (United States)

University of Washington

Microsoft (United States)

Salvatore Guarnieri is an author at IBM Research - Thomas J. Watson Research Center specializing in software security, software engineering, and program analysis.

Top concepts

EngineeringProgram AnalysisSoftware AnalysisSoftware SecuritySoftware EngineeringData SecuritySoftware TestingInformation SecurityComputer ScienceFormal Verification

Publications per year

2009–2014

Publications

GATEKEEPER: mostly static enforcement of security and reliability policies for javascript code

Salvatore Guarnieri, Benjamin Livshits · 2009 · 213 citations

Saving the world wide web from vulnerable JavaScript

Salvatore Guarnieri, Marco Pistoia, Omer Tripp et al. · 2011 · 143 citations

Confidentiality Violations, Vulnerability Assessment (Computing), Software Security +14

F4F

Manu Sridharan, Shay Artzi, Marco Pistoia et al. · 2011 · 102 citations

Software Security, Static Taint Analyses, Engineering +12

Automatic detection of inter-application permission leaks in Android applications

Dragoş Sbîrlea, Michael Burke, Salvatore Guarnieri et al. · IBM Journal of Research and Development · 2013 · 82 citations

Permissionflow Analysis, Mobile Security, Engineering +19

ALETHEIA

Omer Tripp, Salvatore Guarnieri, Marco Pistoia et al. · 2014 · 65 citations

Engineering, Information Security, Verification +18

1–5 of 7