| 2026 | ICISSP | A Tandem Approach to CPS Threat Modeling. | Dallas Elleman, John Hale |
| 2026 | SIGCSE | Words Matter: Integrating Adaptive Cybersecurity Phraseology in K-12 Education Subjects to Improve Cyber Hygiene. | Timothy Crisp, John Hale |
| 2025 | CRITIS | Blueprint for K-12 Cybersecurity Education: Integrating Cybersecurity Throughout All K-12 Subjects. | Timothy Crisp, John Hale |
| 2025 | CRITIS | CPSTRIDE: A Threat Modeling Framework for Cyber-Physical Systems. | Dallas Elleman, John Hale |
| 2024 | COLING | An Evaluation of Croatian ASR Models for Čakavian Transcription. | Shulin Zhang, John Hale, Margaret E. L. Renwick, Zvjezdana Vrzic, Keith Langston |
| 2018 | ACL | LSTMs Can Learn Syntax-Sensitive Dependencies Well, But Modeling Structure Makes Them Better. | Adhiguna Kuncoro, Chris Dyer, John Hale, Dani Yogatama, Stephen Clark, Phil Blunsom |
| 2017 | CCS | POSTER: Evaluating Reflective Deception as a Malware Mitigation Strategy. | Thomas Shaw, James Arrowood, Michael Kvasnicka, Shay Taylor, Kyle Cook, John Hale |
| 2015 | ICWS | Measuring the Potential for Victimization in Malicious Content. | Matthew L. Hale, Rose F. Gamble, John Hale, Charles Haney, Jessica Lin, Charles Walter |
| 2012 | FG | Memory Resource Allocation in Top-Down Minimalist Parsing. | Gregory M. Kobele, Sabrina Gerth, John Hale |
| 2011 | DBSEC | Preserving Privacy in Structural Neuroimages. | Nakeisha Schimke, Mary Kuehler, John Hale |
| 2008 | CCS | Strata-Gem: risk assessment through mission modeling. | Kevin Clark, Ethan Singleton, Stephen Tyree, John Hale |
| 2006 | ACL | PCFGs with Syntactic and Prosodic Indicators of Speech Repairs. | John Hale, Izhak Shafran, Lisa Yung, Bonnie J. Dorr, Mary P. Harper, Anna Krasnyanskaya, Matthew Lease, Yang Liu, Brian Roark, Matthew G. Snover, Robin Stewart |
| 2006 | ICASSP | Reranking for Sentence Boundary Detection in Conversational Speech. | Brian Roark, Yang Liu, Mary P. Harper, Robin Stewart, Matthew Lease, Matthew G. Snover, Izhak Shafran, Bonnie J. Dorr, John Hale, Anna Krasnyanskaya, Lisa Yung |
| 2006 | LREC | SParseval: Evaluation Metrics for Parsing Speech. | Brian Roark, Mary P. Harper, Eugene Charniak, Bonnie J. Dorr, Mark Johnson, Jeremy G. Kahn, Yang Liu, Mari Ostendorf, John Hale, Anna Krasnyanskaya, Matthew Lease, Izhak Shafran, Matthew G. Snover, Robin Stewart, Lisa Yung |
| 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 | DBSEC | Public Telephone Network Vulnerabilities. | G. Lorenz, J. Keller, Gavin Manes, John Hale, Sujeet Shenoi |
| 2001 | ISADS | Formal Analysis of E-Commerce Protocols. | Mauricio Papa, Oliver Bremer, John Hale, Sujeet Shenoi |
| 2001 | NAACL | A Probabilistic Earley Parser as a Psycholinguistic Model. | John Hale |
| 2000 | ACSAC | Policy Mediation for Multi-Enterprise Environments. | Pablo Galiasso, Oliver Bremer, John Hale, Sujeet Shenoi, David F. Ferraiolo, Vincent C. Hu |
| 2000 | ACSAC | Extending Java for Package based Access Control. | John Hale, Mauricio Papa, Oliver Bremer, Rodrigo Chandia, Sujeet Shenoi |
| 2000 | DBSEC | Language Extensions for Programmable Security. | John Hale, Rodrigo Chandia, Clinton Campbell, 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 |
| 1997 | DBSEC | Capability-Based Primitives for Access Control in Object-Oriented Systems. | John Hale, Jody Threet, Sujeet Shenoi |
| 1997 | SP | Catalytic Inference Analysis: Detecting Inference Threats due to Knowledge Discovery. | John Hale, Sujeet Shenoi |
| 1996 | DBSEC | A Framework for High Assurance Security of Distributed Objects. | John Hale, Jody Threet, Sujeet Shenoi |
| 1995 | DBSEC | A Tool for Inference Detection and Knowledge Discovery in Databases. | Surath Rath, Dominic Jones, John Hale, Sujeet Shenoi |
| 1994 | AAAI | Learning to Coordinate without Sharing Information. | Sandip Sen, Mahendra Sekaran, John Hale |
| 1994 | DBSEC | A Practical Formalism for Imprecise Inference Control. | John Hale, Jody Threet, Sujeet Shenoi |
| 1994 | SAC | A genetic algorithm for fragment allocation in a distributed database system. | Arthur L. Corcoran, John Hale |