TAJ: Effective taint analysis of web applications
- Omer Tripp
- Marco Pistoia
- et al.
- 2009
- PLDI 2009
Publications
Date
Featured collections
Popular topics
52 results for Marco Pistoia
Static specification mining using automata-based abstractions
- Sharon Shoham
- Eran Yahav
- et al.
- 2008
- IEEE Transactions on Software Engineering
Combining static and dynamic analysis for automatic identification of precise access-control policies
- Paolina Centonze
- Robert J. Flynn
- et al.
- 2007
- ACSAC 2007
When role models have flaws: Static validation of enterprise security policies
- Marco Pistoia
- Stephen J. Fink
- et al.
- 2007
- ICSE 2007
Beyond stack inspection: A unified access-control and information-flow security model
- Marco Pistoia
- Anindya Banerjee
- et al.
- 2007
- S&P 2007
A survey of static analysis methods for identifying security vulnerabilities in software systems
- Marco Pistoia
- Satish Chandra
- et al.
- 2007
- IBM Systems Journal
The case for analysis preserving language transformation
- Xiaolan Zhang
- Larry Koved
- et al.
- 2006
- ISSTA 2006
Role-based access control consistency validation
- Paolina Centonze
- Gleb Naumovich
- et al.
- 2006
- ISSTA 2006
Interprocedural analysis for privileged code placement and tainted variable detection
- Marco Pistoia
- Robert J. Flynn
- et al.
- 2005
- ECOOP 2005
Access rights analysis for Java
- Larry Koved
- Marco Pistoia
- et al.
- 2002
- OOPSLA 2002