Publications

30 results for Omer Tripp

ALETHEIA: Improving the usability of static security analysis
- - Omer Tripp
  - Salvatore Guarnieri
  - et al.
- 2014
- CCS 2014
Conference paper
Integrating security, analytics and application management into the mobile development lifecycle
- - Marco Pistoia
  - Omer Tripp
- 2014
- MobileDeLi 2014
Conference paper
Flint: Fixing linearizability violations
- - Peng Liu
  - Omer Tripp
  - et al.
- 2014
- OOPSLA 2014
Conference paper
A Bayesian approach to privacy enforcement in smartphones
- - Omer Tripp
  - Julia Rubin
- 2014
- USENIX Security 2014
Conference paper
Hybrid security analysis of web Javascript code via dynamic partial evaluation
- - Omer Tripp
  - Pietro Ferrara
  - et al.
- 2014
- ISSTA 2014
Conference paper
Path-and index-sensitive string analysis based on monadic second-order logic
- - Takaaki Tateishi
  - Marco Pistoia
  - et al.
- 2013
- ACM TOSEM
Paper
F4F: Taint analysis of framework-based web applications
- - Manu Sridharan
  - Shay Artzi
  - et al.
- 2011
- OOPSLA 2011
Conference paper
Saving the world wide web from vulnerable JavaScript
- - Salvatore Guarnieri
  - Marco Pistoia
  - et al.
- 2011
- ISSTA 2011
Conference paper
Path- and index-sensitive string analysis based on monadic second-order logic
- - Takaaki Tateishi
  - Marco Pistoia
  - et al.
- 2011
- ISSTA 2011
Conference paper
TAJ: Effective taint analysis of web applications
- - Omer Tripp
  - Marco Pistoia
  - et al.
- 2009
- PLDI 2009
Conference paper