Marco Pistoia Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby: Modular string-sensitive permission analysis with demand-driven precision. ICSE 2009: 177-187
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman: TAJ: effective taint analysis of web applications. PLDI 2009: 87-97
2008
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÚ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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistoia: Program Analysis and Programming Languages for Security. VMCAI 2008: 7
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia: Static Specification Mining Using Automata-Based Abstractions. IEEE Trans. Software Eng. 34(5): 651-666 (2008)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistoia, Úlfar Erlingsson: Workshop on programming languages and analysis for security (PLAS 2008). SIGPLAN Notices 43(12): 3-4 (2008)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistoia, Úlfar Erlingsson: Programming languages and program analysis for security: a three-year retrospective. SIGPLAN Notices 43(12): 32-39 (2008)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistoia, Úlfar Erlingsson: PLAS 2008 paper abstracts. SIGPLAN Notices 43(12): 5-8 (2008)
2007
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolina Centonze, Robert J. Flynn, Marco Pistoia: Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies. ACSAC 2007: 292-303
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav: When Role Models Have Flaws: Static Validation of Enterprise Security Policies. ICSE 2007: 478-488
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia: Static specification mining using automata-based abstractions. ISSTA 2007: 174-184
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistoia, Francesco Logozzo: Program Analysis for Security and Privacy. ECOOP Workshops 2006: 59-68
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia: Role-Based access control consistency validation. ISSTA 2006: 121-132
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaolan 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Pistoia, Robert J. Flynn, Larry Koved, Vugranam C. Sreedhar: Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection. ECOOP 2005: 362-386
2002
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLarry Koved, Marco Pistoia, Aaron Kershenbaum: Access rights analysis for Java. OOPSLA 2002: 359-372
2001
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMagda Mourad, Jonathan Munson, Tamer Nadeem, Giovanni Pacifici, Marco Pistoia, Alaa Youssef: WebGuard: A System for Web Content Protection. WWW Posters 2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLarry 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)

Coauthor Index

1Anindya Banerjee [10]
2Paolina Centonze [6] [12]
3Satish Chandra [8]
4Julian Dolby [20]
5Úlfar Erlingsson [13] [14] [15] [18]
6Stephen J. Fink (Stephen Fink) [6] [8] [9] [11] [16] [19]
7Robert J. Flynn [4] [11] [12]
8Emmanuel Geay [20]
9Trent Jaeger [5]
10Aaron Kershenbaum [3]
11Larry Koved [1] [3] [4] [5]
12Francesco Logozzo [7]
13Guillaume Marceau [5]
14Magda Mourad [2]
15Jonathan Munson [2]
16Anthony J. Nadalin [1]
17Tamer Nadeem [2]
18Nataraj Nagaratnam [1]
19David A. Naumann [10]
20Gleb Naumovich [6]
21Giovanni Pacifici [2]
22Barbara G. Ryder [20]
23Sharon Shoham [9] [16]
24Theodore Shrader [1]
25Vugranam C. Sreedhar [4]
26Manu Sridharan [19]
27Takaaki Tateishi [20]
28Omer Tripp [19]
29Sam Weber [5]
30Omri Weisman [19]
31Eran Yahav [8] [9] [11] [16]
32Alaa Youssef [2]
33Liangzhao Zeng [5]
34Xiaolan Zhang (Xiaolan (Catherine) Zhang) [5]

Colors in the list of coauthors

Copyright © Wed Nov 25 14:46:41 2009 by Michael Ley (ley@uni-trier.de)