Access-rights analysis in the presence of subjects
- Paolina Centonze
- Marco Pistoia
- et al.
- 2015
- ECOOP 2015
Publications
Date
Featured collections
Popular topics
30 results for Omer Tripp
Grail: Context-aware fixing of concurrency bugs
- Peng Liu
- Omer Tripp
- et al.
- 2014
- FSE 2014
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
Hybrid security analysis of web Javascript code via dynamic partial evaluation
- Omer Tripp
- Pietro Ferrara
- et al.
- 2014
- ISSTA 2014
F4F: Taint analysis of framework-based web applications
- Manu Sridharan
- Shay Artzi
- et al.
- 2011
- OOPSLA 2011
Path- and index-sensitive string analysis based on monadic second-order logic
- Takaaki Tateishi
- Marco Pistoia
- et al.
- 2011
- ISSTA 2011
Saving the world wide web from vulnerable JavaScript
- Salvatore Guarnieri
- Marco Pistoia
- et al.
- 2011
- ISSTA 2011
Z3str2: an efficient solver for strings, regular expressions, and length constraints
- Yunhui Zheng
- Vijay Ganesh
- et al.
- 2016
- Formal Methods in System Design
Path-and index-sensitive string analysis based on monadic second-order logic
- Takaaki Tateishi
- Marco Pistoia
- et al.
- 2013
- ACM TOSEM