Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Marco Pistoia
2010 – today
- 2013
[c21]Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri: Andromeda: Accurate and Scalable Security Analysis of Web Applications. FASE 2013: 210-225- 2012
- [j7]Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia: Fault Localization for Dynamic Web Applications. IEEE Trans. Software Eng. 38(2): 314-335 (2012)
- 2011
- [c20]Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi: Static discovery and remediation of code-embedded resource dependencies. Integrated Network Management 2011: 233-240
- [c19]Takaaki Tateishi, Marco Pistoia, Omer Tripp: Path- and index-sensitive string analysis based on monadic second-order logic. ISSTA 2011: 166-176
- [c18]Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg: Saving the world wide web from vulnerable JavaScript. ISSTA 2011: 177-187
- [c17]Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg: F4F: taint analysis of framework-based web applications. OOPSLA 2011: 1053-1068
- 2010
- [c16]Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia: Practical fault localization for dynamic web applications. ICSE (1) 2010: 265-274
- [c15]Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia: Directed test generation for effective fault localization. ISSTA 2010: 49-60
2000 – 2009
- 2009
- [c14]Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby: Modular string-sensitive permission analysis with demand-driven precision. ICSE 2009: 177-187
- [c13]Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman: TAJ: effective taint analysis of web applications. PLDI 2009: 87-97
- [c12]Avraham Shinnar, Marco Pistoia, Anindya Banerjee: A language for information flow: dynamic tracking in multiple interdependent dimensions. PLAS 2009: 125-131
- 2008
- [j6]Marco Pistoia, Úlfar Erlingsson: Workshop on programming languages and analysis for security (PLAS 2008). SIGPLAN Notices 43(12): 3-4 (2008)
- [j5]
- [j4]Marco Pistoia, Úlfar Erlingsson: Programming languages and program analysis for security: a three-year retrospective. SIGPLAN Notices 43(12): 32-39 (2008)
- [j3]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)
- [c11]
- [e1]Úlfar Erlingsson, Marco Pistoia (Eds.): Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. ACM 2008, ISBN 978-1-59593-936-4
- 2007
- [j2]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)
- [c10]Paolina Centonze, Robert J. Flynn, Marco Pistoia: Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies. ACSAC 2007: 292-303
- [c9]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
- [c8]Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia: Static specification mining using automata-based abstractions. ISSTA 2007: 174-184
- [c7]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
- 2006
- [c6]Marco Pistoia, Francesco Logozzo: Program Analysis for Security and Privacy. ECOOP Workshops 2006: 59-68
- [c5]Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia: Role-Based access control consistency validation. ISSTA 2006: 121-132
- [c4]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
- [c3]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
- [c2]Larry Koved, Marco Pistoia, Aaron Kershenbaum: Access rights analysis for Java. OOPSLA 2002: 359-372
- 2001
- [j1]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-152 (2001)
- [c1]Magda Mourad, Jonathan Munson, Tamer Nadeem, Giovanni Pacifici, Marco Pistoia, Alaa Youssef: WebGuard: A System for Web Content Protection. WWW Posters 2001
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-19 20:09 CET by the dblp team