Jay Ligatti

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 13

Top Topics

Wireless Systems

Injection Attacks

Greenhouse Gases

Top Venues

SOUPS @ USENIX Security Symposium

ACM Southeast Regional Conference

Publications

Shashwat Kumar, Francis Hahn, Xinming Ou, Dmitry B. Goldgof, Lawrence O. Hall, Jay Ligatti, S. Raj Rajagopalan, Armin Ziaie Tabari
A Preliminary Study on Using Large Language Models in Software Pentesting. CoRR (2024)
Kevin Dennis, Shamaria Engram, Tyler Kaczmarek, Jay Ligatti
ProProv: A Language and Graphical Tool for Specifying Data Provenance Policies. TPS-ISA (2022)
Tao Wang, Jian Weng, Jay Ligatti, Yao Liu
Far Proximity Identification in Wireless Systems. IEEE Trans. Dependable Secur. Comput. 18 (5) (2021)
Anwesh Tuladhar, Daniel Lende, Jay Ligatti, Xinming Ou
An Analysis of the Role of Situated Learning in Starting a Security Culture in a Software Company. SOUPS @ USENIX Security Symposium (2021)
Hernan M. Palombo, Egor Dolzhenko, Jay Ligatti, Hao Zheng
Stream-Monitoring Automata. ICSCA (2020)
Danielle Ferguson, Yan Albright, Daniel Lomsak, Tyler Hanks, Kevin Orr, Jay Ligatti
PoCo: A Language for Specifying Obligation-Based Policy Compositions. ICSCA (2020)
Hernan M. Palombo, Armin Ziaie Tabari, Daniel Lende, Jay Ligatti, Xinming Ou
An Ethnographic Understanding of Software (In)Security and a Co-Creation Model to Improve Secure Software Development. SOUPS @ USENIX Security Symposium (2020)
Brandon Corn, Alfredo J. Perez, Ashley Ruiz, Cagri Cetin, Jay Ligatti
An Evaluation of the Power Consumption of Coauthentication as a Continuous User Authentication Method in Mobile Systems. ACM Southeast Regional Conference (2020)
Jean-Baptiste Subils, Joseph Perez, Peiwei Liu, Shamaria Engram, Cagri Cetin, Dmitry B. Goldgof, Natalie C. Ebner, Daniela Oliveira, Jay Ligatti
A Dual-Task Interference Game-Based Experimental Framework for Comparing the Usability of Authentication Methods. HSI (2019)
Jay Ligatti, Cagri Cetin, Shamaria Engram, Jean-Baptiste Subils, Dmitry B. Goldgof
Coauthentication. SAC (2019)
Cagri Cetin, Dmitry B. Goldgof, Jay Ligatti
SQL-Identifier Injection Attacks. CNS (2019)
Hernan M. Palombo, Hao Zheng, Jay Ligatti
POSTER: Towards Precise and Automated Verification of Security Protocols in Coq. CCS (2017)
Jay Ligatti, Jeremy Blackburn, Michael Nachtigal
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types. ACM Trans. Program. Lang. Syst. 39 (1) (2017)
Donald Ray, Jay Ligatti
A Theory of Gray Security Policies. ESORICS (2) (2015)
Egor Dolzhenko, Jay Ligatti, Srikar Reddy
Modeling runtime enforcement with mandatory results automata. Int. J. Inf. Sec. 14 (1) (2015)
Matthew A. Morrison, Nagarajan Ranganathan, Jay Ligatti
Design of Adiabatic Dynamic Differential Logic for DPA-Resistant Secure Integrated Circuits. IEEE Trans. Very Large Scale Integr. Syst. 23 (8) (2015)
Anand Kumar, Jay Ligatti, Yi-Cheng Tu
Query Monitoring and Analysis for Database Privacy - A Security Automata Model Approach. WISE (2) (2015)
Donald Ray, Jay Ligatti
Defining Injection Attacks. ISC (2014)
Tao Wang, Yao Liu, Jay Ligatti
Fingerprinting Far Proximity from Radio Emissions. ESORICS (1) (2014)
Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Jay Ligatti
Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors. STM (2012)
Joshua Finnis, Nalin Saigal, Adriana Iamnitchi, Jay Ligatti
A location-based policy-specification language for mobile devices. Pervasive Mob. Comput. 8 (3) (2012)
Donald Ray, Jay Ligatti
Defining code-injection attacks. POPL (2012)
Daniel Lomsak, Jay Ligatti
PoliSeer: A Tool for Managing Complex Security Policies. J. Inf. Process. 19 (2011)
Daniel Lomsak, Jay Ligatti
PoliSeer: A Tool for Managing Complex Security Policies. Inf. Media Technol. 6 (3) (2011)
Jay Ligatti, Srikar Reddy
A Theory of Runtime Enforcement, with Results. ESORICS (2010)
Jay Ligatti, Billy Rickey, Nalin Saigal
LoPSiL: A Location-Based Policy-Specification Language. MobiSec (2009)
Nalin Saigal, Jay Ligatti
Inline Visualization of Concerns. SERA (2009)
Lujo Bauer, Jay Ligatti, David Walker
Composing expressive runtime security policies. ACM Trans. Softw. Eng. Methodol. 18 (3) (2009)
Jay Ligatti, Lujo Bauer, David Walker
Run-Time Enforcement of Nonsafety Policies. ACM Trans. Inf. Syst. Secur. 12 (3) (2009)
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Syst. Secur. 13 (1) (2009)
Jay Jarman, James A. McCart, Donald J. Berndt, Jay Ligatti
A Dynamic Query-Rewriting Mechanism for Role-Based Access Control in Databases. AMCIS (2008)
Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
Fault-tolerant typed assembly language. PLDI (2007)
Jay Ligatti, David Walker, Steve Zdancewic
A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63 (3) (2006)
David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August
Static typing for a faulty lambda calculus. ICFP (2006)
Jay Ligatti, Lujo Bauer, David Walker
Enforcing Non-safety Security Policies with Program Monitors. ESORICS (2005)
Lujo Bauer, Jay Ligatti, David Walker
Composing security policies with polymer. PLDI (2005)
Jay Ligatti, Lujo Bauer, David Walker
Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec. 4 (1-2) (2005)
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
Control-flow integrity. CCS (2005)
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
A Theory of Secure Control Flow. ICFEM (2005)
David Walker, Steve Zdancewic, Jay Ligatti
A theory of aspects. ICFP (2003)
Steve Zdancewic, David Walker, Jay Ligatti
A theory of aspects. SIGPLAN Notices (2003)