| 2025 | QCE | Combinatorial Optimization with Few Qubits. | Rudy Raymond, Alexander Buts, Marco Pistoia |
| 2024 | DAC | Invited: Challenges and Opportunities of Quantum Optimization in Finance. | Zichang He, Shouvanik Chakrabarti, Dylan Herman, Niraj Kumar, Changhao Li, Pierre Minssen, Pradeep Niroula, Ruslan Shaydulin, Yue Sun, Shree Hari Sureshbabu, Romina Yalovetzky, Marco Pistoia |
| 2024 | ECIR | Absolute Variation Distance: An Inversion Attack Evaluation Metric for Federated Learning. | Georgios Papadopoulos, Yash Satsangi, Shaltiel Eloul, Marco Pistoia |
| 2024 | ECIR | Ranking Distance Metric for Privacy Budget in Distributed Learning of Finite Embedding Data. | Georgios Papadopoulos, Yash Satsangi, Shaltiel Eloul, Marco Pistoia |
| 2024 | ICCAD | Parameter Setting Heuristics Make the Quantum Approximate Optimization Algorithm Suitable for the Early Fault-Tolerant Era. | Zichang He, Ruslan Shaydulin, Dylan Herman, Changhao Li, Rudy Raymond, Shree Hari Sureshbabu, Marco Pistoia |
| 2024 | ICML | MaSS: Multi-attribute Selective Suppression for Utility-preserving Data Transformation from an Information-theoretic Perspective. | Yizhuo Chen, Chun-Fu Chen, Hsiang Hsu, Shaohan Hu, Marco Pistoia, Tarek F. Abdelzaher |
| 2024 | QCE | Variational Quantum Algorithm Landscape Reconstruction by Low-Rank Tensor Completion. | Tianyi Hao, Zichang He, Ruslan Shaydulin, Marco Pistoia, Swamit Tannu |
| 2023 | QCE | QAOAwith $N\cdot p\geq 200$. | Ruslan Shaydulin, Marco Pistoia |
| 2023 | SC | Fast Simulation of High-Depth QAOA Circuits. | Danylo Lykov, Ruslan Shaydulin, Yue Sun, Yuri Alexeev, Marco Pistoia |
| 2022 | ESORICS | Utility-Preserving Biometric Information Anonymization. | Bill Moriarty, Chun-Fu (Richard) Chen, Shaohan Hu, Sean J. Moran, Marco Pistoia, Vincenzo Piuri, Pierangela Samarati |
| 2021 | ICCAD | Quantum Machine Learning for Finance ICCAD Special Session Paper. | Marco Pistoia, Syed Farhan Ahmad, Akshay Ajagekar, Alexander Buts, Shouvanik Chakrabarti, Dylan Herman, Shaohan Hu, Andrew Jena, Pierre Minssen, Pradeep Niroula, Arthur G. Rattew, Yue Sun, Romina Yalovetzky |
| 2020 | ICST | Parallelization of Classical Numerical optimization in Quantum Variational Algorithms. | Marco Pistoia, Peng Liu, Chun-Fu (Richard) Chen, Shaohan Hu, Stephen P. Wood |
| 2019 | DAC | Efficient Circuits for Quantum Search over 2D Square Lattice Architecture. | Shaohan Hu, Dmitri Maslov, Marco Pistoia, Jay M. Gambetta |
| 2018 | ICSE | ARES: triggering payload of evasive Android malware. | Luciano Bello, Marco Pistoia |
| 2018 | ICSE | Automatically solving NP-complete problems on a quantum computer. | Shaohan Hu, Peng Liu, Chun-Fu (Richard) Chen, Marco Pistoia |
| 2018 | ISM | SC-Conv: Sparse-Complementary Convolution for Efficient Model Utilization on CNNs. | Chun-Fu Chen, Jinwook Oh, Quanfu Fan, Marco Pistoia |
| 2017 | FASE | Visual Configuration of Mobile Privacy Policies. | Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia |
| 2017 | ICSE | Automatic text input generation for mobile testing. | Peng Liu, Xiangyu Zhang, Marco Pistoia, Yunhui Zheng, Manoel Marques, Lingfei Zeng |
| 2017 | IUI | UI X-Ray: Interactive Mobile UI Testing Based on Computer Vision. | Chun-Fu (Richard) Chen, Marco Pistoia, Conglei Shi, Paolo Girolami, Joseph W. Ligman, Yong Wang |
| 2016 | ACSAC | FASE: functionality-aware security enforcement. | Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara |
| 2016 | ICSE | A framework for automatic anomaly detection in mobile applications. | Mauro Baluda, Marco Pistoia, Paul C. Castro, Omer Tripp |
| 2016 | ICSE | Improving design validation of mobile application user interface implementation. | Joe W. Ligman, Marco Pistoia, Omer Tripp, Gegi Thomas |
| 2016 | ICSE | Cognitive mobile security: invited conference keynote. | David M. Lubensky, Marco Pistoia, Ching-Yung Lin, Omer Tripp |
| 2016 | ICSE | Pinpointing mobile malware using code analysis. | Omer Tripp, Marco Pistoia, Pietro Ferrara, Julia Rubin |
| 2015 | ACSAC | MorphDroid: Fine-grained Privacy Verification. | Pietro Ferrara, Omer Tripp, Marco Pistoia |
| 2015 | CCS | Program Analysis for Mobile Application Integrity and Privacy Enforcement. | Marco Pistoia |
| 2015 | ECOOP | Access-rights Analysis in the Presence of Subjects. | Paolina Centonze, Marco Pistoia, Omer Tripp |
| 2015 | ICSE | Application- and User-Sensitive Privacy Enforcement in Mobile Systems. | Omer Tripp, Marco Pistoia, Paolina Centonze |
| 2015 | ISSTA | Dynamic detection of inter-application communication vulnerabilities in Android. | Roee Hay, Omer Tripp, Marco Pistoia |
| 2015 | MDM | Labyrinth: Visually Configurable Data-Leakage Detection in Mobile Applications. | Marco Pistoia, Omer Tripp, Paolina Centonze, Joseph W. Ligman |
| 2015 | OOPSLA | ShamDroid: gracefully degrading functionality in the presence of limited resource access. | Lucas Brutschy, Pietro Ferrara, Omer Tripp, Marco Pistoia |
| 2015 | OOPSLA | Automatic detection, correction, and visualization of security vulnerabilities in mobile apps. | Marco Pistoia, Omer Tripp, Pietro Ferrara, Paolina Centonze |
| 2015 | VMCAI | Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications. | Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp |
| 2014 | CCS | ALETHEIA: Improving the Usability of Static Security Analysis. | Omer Tripp, Salvatore Guarnieri, Marco Pistoia, Aleksandr Y. Aravkin |
| 2014 | ISSTA | Hybrid security analysis of web JavaScript code via dynamic partial evaluation. | Omer Tripp, Pietro Ferrara, Marco Pistoia |
| 2014 | OOPSLA | Integrating Security, Analytics and Application Management into the Mobile Development Lifecycle. | Marco Pistoia, Omer Tripp |
| 2013 | FASE | Andromeda: Accurate and Scalable Security Analysis of Web Applications. | Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri |
| 2011 | IM | Static discovery and remediation of code-embedded resource dependencies. | Nikolai Joukov, Vasily Tarasov, Joel Ossher, Birgit Pfitzmann, Sergej Chicherin, Marco Pistoia, Takaaki Tateishi |
| 2011 | ISSTA | Saving the world wide web from vulnerable JavaScript. | Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg |
| 2011 | ISSTA | Path- and index-sensitive string analysis based on monadic second-order logic. | Takaaki Tateishi, Marco Pistoia, Omer Tripp |
| 2011 | OOPSLA | F4F: taint analysis of framework-based web applications. | Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg |
| 2010 | ICSE | Practical fault localization for dynamic web applications. | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
| 2010 | ISSTA | Directed test generation for effective fault localization. | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
| 2009 | ICSE | Modular string-sensitive permission analysis with demand-driven precision. | Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby |
| 2009 | PLDI | A language for information flow: dynamic tracking in multiple interdependent dimensions. | Avraham Shinnar, Marco Pistoia, Anindya Banerjee |
| 2009 | PLDI | TAJ: effective taint analysis of web applications. | Omer Tripp, Marco Pistoia, Stephen J. Fink, Manu Sridharan, Omri Weisman |
| 2008 | VMCAI | Program Analysis and Programming Languages for Security. | Marco Pistoia |
| 2007 | ACSAC | Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies. | Paolina Centonze, Robert J. Flynn, Marco Pistoia |
| 2007 | ICSE | When Role Models Have Flaws: Static Validation of Enterprise Security Policies. | Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav |
| 2007 | ISSTA | Static specification mining using automata-based abstractions. | Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia |
| 2007 | SP | Beyond Stack Inspection: A Unified Access-Control and Information-Flow Security Model. | Marco Pistoia, Anindya Banerjee, David A. Naumann |
| 2006 | ISSTA | Role-Based access control consistency validation. | Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia |
| 2006 | ISSTA | The case for analysis preserving language transformation. | Xiaolan Zhang, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng |
| 2005 | ECOOP | Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection. | Marco Pistoia, Robert J. Flynn, Larry Koved, Vugranam C. Sreedhar |
| 2002 | OOPSLA | Access rights analysis for Java. | Larry Koved, Marco Pistoia, Aaron Kershenbaum |
| 2001 | WWW | WebGuard: A System for Web Content Protection. | Magda Mourad, Jonathan P. Munson, Tamer Nadeem, Giovanni Pacifici, Marco Pistoia, Alaa Youssef |