| 2008 |
|---|
| 18 | | Úlfar Erlingsson,
Marco Pistoia:
Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008
ACM 2008 |
| 17 | EE | Marco Pistoia:
Program Analysis and Programming Languages for Security.
VMCAI 2008: 7 |
| 16 | EE | Sharon Shoham,
Eran Yahav,
Stephen J. Fink,
Marco Pistoia:
Static Specification Mining Using Automata-Based Abstractions.
IEEE Trans. Software Eng. 34(5): 651-666 (2008) |
| 15 | EE | Marco Pistoia,
Úlfar Erlingsson:
Workshop on programming languages and analysis for security (PLAS 2008).
SIGPLAN Notices 43(12): 3-4 (2008) |
| 14 | EE | Marco Pistoia,
Úlfar Erlingsson:
Programming languages and program analysis for security: a three-year retrospective.
SIGPLAN Notices 43(12): 32-39 (2008) |
| 13 | EE | Marco Pistoia,
Úlfar Erlingsson:
PLAS 2008 paper abstracts.
SIGPLAN Notices 43(12): 5-8 (2008) |
| 2007 |
|---|
| 12 | EE | Paolina Centonze,
Robert J. Flynn,
Marco Pistoia:
Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies.
ACSAC 2007: 292-303 |
| 11 | EE | Marco Pistoia,
Stephen J. Fink,
Robert J. Flynn,
Eran Yahav:
When Role Models Have Flaws: Static Validation of Enterprise Security Policies.
ICSE 2007: 478-488 |
| 10 | EE | Marco Pistoia,
Anindya Banerjee,
David A. Naumann:
Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model.
IEEE Symposium on Security and Privacy 2007: 149-163 |
| 9 | EE | Sharon Shoham,
Eran Yahav,
Stephen Fink,
Marco Pistoia:
Static specification mining using automata-based abstractions.
ISSTA 2007: 174-184 |
| 8 | EE | Marco Pistoia,
Satish Chandra,
Stephen J. Fink,
Eran Yahav:
A survey of static analysis methods for identifying security vulnerabilities in software systems.
IBM Systems Journal 46(2): 265-288 (2007) |
| 2006 |
|---|
| 7 | EE | Marco Pistoia,
Francesco Logozzo:
Program Analysis for Security and Privacy.
ECOOP Workshops 2006: 59-68 |
| 6 | EE | Paolina Centonze,
Gleb Naumovich,
Stephen J. Fink,
Marco Pistoia:
Role-Based access control consistency validation.
ISSTA 2006: 121-132 |
| 5 | EE | Xiaolan Zhang,
Larry Koved,
Marco Pistoia,
Sam Weber,
Trent Jaeger,
Guillaume Marceau,
Liangzhao Zeng:
The case for analysis preserving language transformation.
ISSTA 2006: 191-202 |
| 2005 |
|---|
| 4 | EE | Marco Pistoia,
Robert J. Flynn,
Larry Koved,
Vugranam C. Sreedhar:
Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection.
ECOOP 2005: 362-386 |
| 2002 |
|---|
| 3 | EE | Larry Koved,
Marco Pistoia,
Aaron Kershenbaum:
Access rights analysis for Java.
OOPSLA 2002: 359-372 |
| 2001 |
|---|
| 2 | EE | Magda Mourad,
Jonathan Munson,
Tamer Nadeem,
Giovanni Pacifici,
Marco Pistoia,
Alaa Youssef:
WebGuard: A System for Web Content Protection.
WWW Posters 2001 |
| 1 | EE | Larry Koved,
Anthony J. Nadalin,
Nataraj Nagaratnam,
Marco Pistoia,
Theodore Shrader:
Security challenges for Enterprise Java in an e-business environment.
IBM Systems Journal 40(1): 130- (2001) |
