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