Types and Effects for Non-interfering Program Monitors. - Lujo Bauer; Jarred Ligatti; David Walker 001 (ISSS, 2002)

A theory of aspects. - David Walker 001; Steve Zdancewic; Jay Ligatti (ICFP, 2003)

Control-flow integrity. - Martín Abadi; Mihai Budiu; Úlfar Erlingsson; Jay Ligatti (CCS, 2005)

Enforcing Non-safety Security Policies with Program Monitors. - Jay Ligatti; Lujo Bauer; David Walker 001 (ESORICS, 2005)

A Theory of Secure Control Flow. - Martín Abadi; Mihai Budiu; Úlfar Erlingsson; Jay Ligatti (ICFEM, 2005)

Composing security policies with polymer. - Lujo Bauer; Jay Ligatti; David Walker 001 (PLDI, 2005)

Edit automata: enforcement mechanisms for run-time security policies. - Jay Ligatti; Lujo Bauer; David Walker 001 (Int. J. Inf. Sec., 2005)

Static typing for a faulty lambda calculus. - David Walker 001; Lester W. Mackey; Jay Ligatti; George A. Reis; David I. August (ICFP, 2006)

A type-theoretic interpretation of pointcuts and advice. - Jay Ligatti; David Walker 001; Steve Zdancewic (Sci. Comput. Program., 2006)

Fault-tolerant typed assembly language. - Frances Perry; Lester W. Mackey; George A. Reis; Jay Ligatti; David I. August; David Walker 001 (PLDI, 2007)

A Dynamic Query-Rewriting Mechanism for Role-Based Access Control in Databases. - Jay Jarman; James A. McCart; Donald J. Berndt; Jay Ligatti (AMCIS, 2008)

LoPSiL: A Location-Based Policy-Specification Language. - Jay Ligatti; Billy Rickey; Nalin Saigal (MobiSec, 2009)

Inline Visualization of Concerns. - Nalin Saigal; Jay Ligatti (SERA, 2009)

Control-flow integrity principles, implementations, and applications. - Martín Abadi; Mihai Budiu; Úlfar Erlingsson; Jay Ligatti (ACM Trans. Inf. Syst. Secur., 2009)

Run-Time Enforcement of Nonsafety Policies. - Jay Ligatti; Lujo Bauer; David Walker 001 (ACM Trans. Inf. Syst. Secur., 2009)

Composing expressive runtime security policies. - Lujo Bauer; Jay Ligatti; David Walker 001 (ACM Trans. Softw. Eng. Methodol., 2009)

A Theory of Runtime Enforcement, with Results. - Jay Ligatti; Srikar Reddy (ESORICS, 2010)

PoliSeer: A Tool for Managing Complex Security Policies. - Daniel Lomsak; Jay Ligatti (J. Inf. Process., 2011)

Defining code-injection attacks. - Donald Ray; Jay Ligatti (POPL, 2012)

Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors. - Yannis Mallios; Lujo Bauer; Dilsun Kirli Kaynar; Jay Ligatti (STM, 2012)

A location-based policy-specification language for mobile devices. - Joshua Finnis; Nalin Saigal; Adriana Iamnitchi; Jay Ligatti (Pervasive Mob. Comput., 2012)

Fingerprinting Far Proximity from Radio Emissions. - Tao Wang 026; Yao Liu 007; Jay Ligatti (ESORICS (1), 2014)

Defining Injection Attacks. - Donald Ray; Jay Ligatti (ISC, 2014)

A Theory of Gray Security Policies. - Donald Ray; Jay Ligatti (ESORICS (2), 2015)

Query Monitoring and Analysis for Database Privacy - A Security Automata Model Approach. - Anand Kumar 001; Jay Ligatti; Yi-Cheng Tu (WISE (2), 2015)

Modeling runtime enforcement with mandatory results automata. - Egor Dolzhenko; Jay Ligatti; Srikar Reddy (Int. J. Inf. Sec., 2015)

Design of Adiabatic Dynamic Differential Logic for DPA-Resistant Secure Integrated Circuits. - Matthew A. Morrison; Nagarajan Ranganathan; Jay Ligatti (IEEE Trans. Very Large Scale Integr. Syst., 2015)

POSTER: Towards Precise and Automated Verification of Security Protocols in Coq. - Hernan M. Palombo; Hao Zheng 001; Jay Ligatti (CCS, 2017)

On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. - Jay Ligatti; Jeremy Blackburn; Michael Nachtigal (ACM Trans. Program. Lang. Syst., 2017)

SQL-Identifier Injection Attacks. - Cagri Cetin; Dmitry B. Goldgof; Jay Ligatti (CNS, 2019)

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 001; Jay Ligatti (HSI, 2019)

Coauthentication. - Jay Ligatti; Cagri Cetin; Shamaria Engram; Jean-Baptiste Subils; Dmitry B. Goldgof (SAC, 2019)

An Evaluation of the Power Consumption of Coauthentication as a Continuous User Authentication Method in Mobile Systems. - Brandon Corn; Alfredo J. Perez; Ashley Ruiz; Cagri Cetin; Jay Ligatti (ACM Southeast Regional Conference, 2020)

PoCo: A Language for Specifying Obligation-Based Policy Compositions. - Danielle Ferguson; Yan Albright; Daniel Lomsak; Tyler Hanks; Kevin Orr; Jay Ligatti (ICSCA, 2020)

Stream-Monitoring Automata. - Hernan M. Palombo; Egor Dolzhenko; Jay Ligatti; Hao Zheng 001 (ICSCA, 2020)

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 (SOUPS @ USENIX Security Symposium, 2020)

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 (SOUPS @ USENIX Security Symposium, 2021)

Far Proximity Identification in Wireless Systems. - Tao Wang 026; Jian Weng 001; Jay Ligatti; Yao Liu 007 (IEEE Trans. Dependable Secur. Comput., 2021)

ProProv: A Language and Graphical Tool for Specifying Data Provenance Policies. - Kevin Dennis; Shamaria Engram; Tyler Kaczmarek; Jay Ligatti (TPS-ISA, 2022)

Large-Scale Analysis of GitHub and CVEs to Determine Prevalence of SQL Concatenations. - Kevin Dennis; Bianca Dehaan; Parisa Momeni; Gabriel Laverghetta; Jay Ligatti (SECRYPT, 2024)

A Preliminary Study on Using Large Language Models in Software Pentesting. - Shashwat Kumar; Francis Hahn; Xinming Ou; Dmitry B. Goldgof; Lawrence O. Hall; Jay Ligatti; S. Raj Rajagopalan; Armin Ziaie Tabari (CoRR, 2024)

Toward satisfactory public accessibility: A crowdsourcing approach through online reviews to inclusive urban design. - Lingyao Li; Songhua Hu; Yinpei Dai; Min Deng; Parisa Momeni; Gabriel Laverghetta; Lizhou Fan; Zihui Ma; Xi Wang; Siyuan Ma; Jay Ligatti; Libby Hemphill (Comput. Environ. Urban Syst., 2025)

A Longitudinal Analysis of Experiences with Semaglutide Across Twitter User Subpopulations. - Parisa Momeni; Gabriel Laverghetta; Jay Ligatti; Lingyao Li (CoRR, 2025)