| 2023 | SERA | Calibrating Cybersecurity Experiments: Evaluating Coverage Analysis for Fuzzing Benchmarks. | Jim Alves-Foss, Aditi Pokharel, Ronisha Shigdel, Jia Song |
| 2019 | ACSAC | Function boundary detection in stripped binaries. | Jim Alves-Foss, Jia Song |
| 2018 | IWCMC | HESTIA: Adversarial Modeling and Risk Assessment for CPCS. | Ananth A. Jillepalli, Daniel Conte de Leon, Mohammad Ashrafuzzaman, Yacine Chakhchoukh, Brian K. Johnson, Frederick T. Sheldon, Jim Alves-Foss, Predrag T. Tosic, Michael A. Haney |
| 2007 | CCS | Implementing middleware for content filtering and information flow control. | Jeffrey Choi Robinson, W. Scott Harrison, Nadine Hanebutte, Paul W. Oman, Jim Alves-Foss |
| 2007 | IRI | Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture. | Lu'ay A. Wahsheh, Jim Alves-Foss |
| 2007 | IRI | Rationality Validation of a Layered Decision Model for Network Defense. | Huaqiang Wei, Jim Alves-Foss, Du Zhang, Deborah A. Frincke |
| 2007 | SEKE | Validating A Layered Decision Framework for Cost-Effective Network Defense. | Huaqiang Wei, Jim Alves-Foss, Du Zhang |
| 2006 | IRI | Applying the layered decision model to the design of language-based security systems. | Huaqiang Wei, Jim Alves-Foss |
| 2006 | LCN | The Effect of Rebalancing on the Performance of a Group Key Agreement Protocol. | Shanyu Zheng, Jim Alves-Foss, Stephen S. Lee |
| 2006 | PST | Architecture-based refinements for secure computer systems design. | Jie Zhou, Jim Alves-Foss |
| 2005 | IRI | A layered decision model for cost-effective network defense. | Huaqiang Wei, Deborah A. Frincke, Jim Alves-Foss, Terence Soule, Hugh Pforsich |
| 2005 | NSPW | Diversity as a computer defense mechanism. | Carol Taylor, Jim Alves-Foss |
| 2004 | RAID | Formal Reasoning About Intrusion Detection Systems. | Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt |
| 2002 | NSPW | An empirical analysis of NATE: Network Analysis of Anomalous Traffic Events. | Carol Taylor, Jim Alves-Foss |
| 2002 | WETICE | What are Multi-Protocol Guessing Attacks and How to Prevent Them. | Sreekanth Malladi, Jim Alves-Foss |
| 2001 | COMPSAC | Certificate Based Authorization Simulation System. | Jie Dai, Jim Alves-Foss |
| 2000 | GECCO | Quantum Genetic Algorithms. | Bart Rylander, Terence Soule, James A. Foster, Jim Alves-Foss |
| 1995 | NDSS | An overview of SNIF: a tool for Surveying Network Information Flow. | Jim Alves-Foss |
| 1991 | SP | Verification of Secure Distributed Systems in Higher Order Logic: A Modular Approach Using Generic Components. | Jim Alves-Foss, Karl N. Levitt |