| 2025 | CRITIS | Operational Technology Network Anomaly Detection Using N-Grams. | Jack Nunnelee, Alex Howe, Mauricio Papa |
| 2024 | CRITIS | A Cost-Sensitive Approach for Managing Intrusion Alerts in OT Environments. | Alex Howe, Andrew Morin, Mauricio Papa, Tyler Moore |
| 2023 | SmartComp | Feature Engineering in Machine Learning-Based Intrusion Detection Systems for OT Networks. | Alex Howe, Mauricio Papa |
| 2003 | SEC | Integrating Logics and Process Calculi for Cryptographic Protocol Analysis. | Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi |
| 2002 | DBSEC | On Modeling Computer Networks for Vulnerability Analysis. | Clinton Campbell, Jerald Dawkins, Brandon Pollet, Kenneth Fitch, John Hale, Mauricio Papa |
| 2002 | DBSEC | Implementation and Verification of Programmable Security. | Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale |
| 2001 | ISADS | Formal Analysis of E-Commerce Protocols. | Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi |
| 2000 | ACSAC | Extending Java for Package based Access Control. | John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi |
| 2000 | DBSEC | Simulation and Analysis of Cryptographic Protocols. | Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi |
| 1999 | ACSAC | Security Policy Coordination for Heterogeneous Information Systems. | John Hale, Pablo Galiasso, Mauricio Papa, Sujeet Shenoi |
| 1998 | DBSEC | Programmable Security for Object-Oriented Systems. | John Hale, Mauricio Papa, Sujeet Shenoi |
| 1997 | DBSEC | An Environment for Developing Securely Interoperable Heterogeneous Distributed Objects. | M. Berryman, C. Rummel, Mauricio Papa, John Hale, Jody Threet, Sujeet Shenoi |