| 2024 | SECRYPT | Large-Scale Analysis of GitHub and CVEs to Determine Prevalence of SQL Concatenations. | Kevin Dennis, Bianca Dehaan, Parisa Momeni, Gabriel Laverghetta, Jay Ligatti |
| 2021 | SOUPS | An Analysis of the Role of Situated Learning in Starting a Security Culture in a Software Company. | Anwesh Tuladhar, Daniel Lende, Jay Ligatti, Xinming Ou |
| 2020 | SOUPS | An Ethnographic Understanding of Software (In)Security and a Co-Creation Model to Improve Secure Software Development. | Hernan M. Palombo, Armin Ziaie Tabari, Daniel Lende, Jay Ligatti, Xinming Ou |
| 2019 | HSI | A Dual-Task Interference Game-Based Experimental Framework for Comparing the Usability of Authentication Methods. | Jean-Baptiste Subils, Joseph Perez, Peiwei Liu, Shamaria Engram, Cagri Cetin, Dmitry B. Goldgof, Natalie C. Ebner, Daniela Oliveira, Jay Ligatti |
| 2019 | SAC | Coauthentication. | Jay Ligatti, Cagri Cetin, Shamaria Engram, Jean-Baptiste Subils, Dmitry B. Goldgof |
| 2017 | CCS | POSTER: Towards Precise and Automated Verification of Security Protocols in Coq. | Hernan M. Palombo, Hao Zheng, Jay Ligatti |
| 2015 | ESORICS | A Theory of Gray Security Policies. | Donald Ray, Jay Ligatti |
| 2015 | WISE | Query Monitoring and Analysis for Database Privacy - A Security Automata Model Approach. | Anand Kumar, Jay Ligatti, Yi-Cheng Tu |
| 2014 | ESORICS | Fingerprinting Far Proximity from Radio Emissions. | Tao Wang, Yao Liu, Jay Ligatti |
| 2012 | POPL | Defining code-injection attacks. | Donald Ray, Jay Ligatti |
| 2010 | ESORICS | A Theory of Runtime Enforcement, with Results. | Jay Ligatti, Srikar Reddy |
| 2009 | SERA | Inline Visualization of Concerns. | Nalin Saigal, Jay Ligatti |
| 2007 | PLDI | Fault-tolerant typed assembly language. | Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker |
| 2006 | ICFP | Static typing for a faulty lambda calculus. | David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August |
| 2005 | CCS | Control-flow integrity. | Martn Abadi, Mihai Budiu, lfar Erlingsson, Jay Ligatti |
| 2005 | ESORICS | Enforcing Non-safety Security Policies with Program Monitors. | Jay Ligatti, Lujo Bauer, David Walker |
| 2005 | ICFEM | A Theory of Secure Control Flow. | Martn Abadi, Mihai Budiu, lfar Erlingsson, Jay Ligatti |
| 2005 | PLDI | Composing security policies with polymer. | Lujo Bauer, Jay Ligatti, David Walker |
| 2003 | ICFP | A theory of aspects. | David Walker, Steve Zdancewic, Jay Ligatti |