Jay Ligatti

47 papers A* 6A 4C 5Misc 1Journal 16Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Longitudinal Analysis of Experiences with Semaglutide Across Twitter User Subpopulations.
CoRR
Parisa Momeni, Gabriel Laverghetta, Jay Ligatti, Lingyao Li
2025 J jnl
Toward satisfactory public accessibility: A crowdsourcing approach through online reviews to inclusive urban design.
Comput. Environ. Urban Syst.
Lingyao Li, Songhua Hu, Yinpei Dai, Min Deng, Parisa Momeni, Gabriel Laverghetta, Lizhou Fan, Zihui Ma, Xi Wang, Siyuan Ma, Jay Ligatti, Libby Hemphill
2024 J jnl
A Preliminary Study on Using Large Language Models in Software Pentesting.
CoRR
Shashwat Kumar, Francis Hahn, Xinming Ou, Dmitry B. Goldgof, Lawrence O. Hall, Jay Ligatti, S. Raj Rajagopalan, Armin Ziaie Tabari
2024 C conf
Large-Scale Analysis of GitHub and CVEs to Determine Prevalence of SQL Concatenations.
SECRYPT
Kevin Dennis, Bianca Dehaan, Parisa Momeni, Gabriel Laverghetta, Jay Ligatti
2024 J jnl
Toward satisfactory public accessibility: A crowdsourcing approach through online reviews to inclusive urban design.
CoRR
Lingyao Li, Songhua Hu, Yinpei Dai, Min Deng, Parisa Momeni, Gabriel Laverghetta, Lizhou Fan, Zihui Ma, Xi Wang, Siyuan Ma, Jay Ligatti, Libby Hemphill
2022 — conf
ProProv: A Language and Graphical Tool for Specifying Data Provenance Policies.
TPS-ISA
Kevin Dennis, Shamaria Engram, Tyler Kaczmarek, Jay Ligatti
2021 — conf
An Analysis of the Role of Situated Learning in Starting a Security Culture in a Software Company.
SOUPS @ USENIX Security Symposium
Anwesh Tuladhar, Daniel Lende, Jay Ligatti, Xinming Ou
2021 J jnl
Far Proximity Identification in Wireless Systems.
IEEE Trans. Dependable Secur. Comput.
Tao Wang, Jian Weng, Jay Ligatti, Yao Liu
2020 — ed.
AISec@CCS 2020: Proceedings of the 13th ACM Workshop on Artificial Intelligence and Security, Virtual Event, USA, 13 November 2020.
AISec@CCS
Jay Ligatti, Xinming Ou
2020 — conf
An Ethnographic Understanding of Software (In)Security and a Co-Creation Model to Improve Secure Software Development.
SOUPS @ USENIX Security Symposium
Hernan M. Palombo, Armin Ziaie Tabari, Daniel Lende, Jay Ligatti, Xinming Ou
2020 — conf
An Evaluation of the Power Consumption of Coauthentication as a Continuous User Authentication Method in Mobile Systems.
ACM Southeast Regional Conference
Brandon Corn, Alfredo J. Perez, Ashley Ruiz, Cagri Cetin, Jay Ligatti
2020 A* ed.
CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, USA, November 9-13, 2020
CCS
Jay Ligatti, Xinming Ou, Jonathan Katz, Giovanni Vigna
2020 — conf
PoCo: A Language for Specifying Obligation-Based Policy Compositions.
ICSCA
Danielle Ferguson, Yan Albright, Daniel Lomsak, Tyler Hanks, Kevin Orr, Jay Ligatti
2020 — conf
Stream-Monitoring Automata.
ICSCA
Hernan M. Palombo, Egor Dolzhenko, Jay Ligatti, Hao Zheng
2020 — ed.
WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, Virtual Event, USA, November 9, 2020
WPES@CCS
Jay Ligatti, Xinming Ou, Wouter Lueks, Paul Syverson
2019 C conf
A Dual-Task Interference Game-Based Experimental Framework for Comparing the Usability of Authentication Methods.
HSI
Jean-Baptiste Subils, Joseph Perez, Peiwei Liu, Shamaria Engram, Cagri Cetin, Dmitry B. Goldgof, Natalie C. Ebner, Daniela Oliveira, Jay Ligatti
2019 Misc conf
Coauthentication.
SAC
Jay Ligatti, Cagri Cetin, Shamaria Engram, Jean-Baptiste Subils, Dmitry B. Goldgof
2019 — conf
SQL-Identifier Injection Attacks.
CNS
Cagri Cetin, Dmitry B. Goldgof, Jay Ligatti
2017 J jnl
On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types.
ACM Trans. Program. Lang. Syst.
Jay Ligatti, Jeremy Blackburn, Michael Nachtigal
2017 A* conf
POSTER: Towards Precise and Automated Verification of Security Protocols in Coq.
CCS
Hernan M. Palombo, Hao Zheng, Jay Ligatti
2015 — conf
A Theory of Gray Security Policies.
ESORICS (2)
Donald Ray, Jay Ligatti
2015 J jnl
Design of Adiabatic Dynamic Differential Logic for DPA-Resistant Secure Integrated Circuits.
IEEE Trans. Very Large Scale Integr. Syst.
Matthew A. Morrison, Nagarajan Ranganathan, Jay Ligatti
2015 J jnl
Modeling runtime enforcement with mandatory results automata.
Int. J. Inf. Sec.
Egor Dolzhenko, Jay Ligatti, Srikar Reddy
2015 — conf
Query Monitoring and Analysis for Database Privacy - A Security Automata Model Approach.
WISE (2)
Anand Kumar, Jay Ligatti, Yi-Cheng Tu
2014 C conf
Defining Injection Attacks.
ISC
Donald Ray, Jay Ligatti
2014 — conf
Fingerprinting Far Proximity from Radio Emissions.
ESORICS (1)
Tao Wang, Yao Liu, Jay Ligatti
2012 J jnl
A location-based policy-specification language for mobile devices.
Pervasive Mob. Comput.
Joshua Finnis, Nalin Saigal, Adriana Iamnitchi, Jay Ligatti
2012 A* conf
Defining code-injection attacks.
POPL
Donald Ray, Jay Ligatti
2012 — conf
Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors.
STM
Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Jay Ligatti
2011 J jnl
PoliSeer: A Tool for Managing Complex Security Policies.
Inf. Media Technol.
Daniel Lomsak, Jay Ligatti
2011 J jnl
PoliSeer: A Tool for Managing Complex Security Policies.
J. Inf. Process.
Daniel Lomsak, Jay Ligatti
2010 A conf
A Theory of Runtime Enforcement, with Results.
ESORICS
Jay Ligatti, Srikar Reddy
2009 J jnl
Composing expressive runtime security policies.
ACM Trans. Softw. Eng. Methodol.
Lujo Bauer, Jay Ligatti, David Walker
2009 J jnl
Control-flow integrity principles, implementations, and applications.
ACM Trans. Inf. Syst. Secur.
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
2009 C conf
Inline Visualization of Concerns.
SERA
Nalin Saigal, Jay Ligatti
2009 — conf
LoPSiL: A Location-Based Policy-Specification Language.
MobiSec
Jay Ligatti, Billy Rickey, Nalin Saigal
2009 J jnl
Run-Time Enforcement of Nonsafety Policies.
ACM Trans. Inf. Syst. Secur.
Jay Ligatti, Lujo Bauer, David Walker
2008 — conf
A Dynamic Query-Rewriting Mechanism for Role-Based Access Control in Databases.
AMCIS
Jay Jarman, James A. McCart, Donald J. Berndt, Jay Ligatti
2007 A* conf
Fault-tolerant typed assembly language.
PLDI
Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
2006 J jnl
A type-theoretic interpretation of pointcuts and advice.
Sci. Comput. Program.
Jay Ligatti, David Walker, Steve Zdancewic
2006 A conf
Static typing for a faulty lambda calculus.
ICFP
David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August
2005 C conf
A Theory of Secure Control Flow.
ICFEM
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
2005 A* conf
Composing security policies with polymer.
PLDI
Lujo Bauer, Jay Ligatti, David Walker
2005 A* conf
Control-flow integrity.
CCS
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
2005 J jnl
Edit automata: enforcement mechanisms for run-time security policies.
Int. J. Inf. Sec.
Jay Ligatti, Lujo Bauer, David Walker
2005 A conf
Enforcing Non-safety Security Policies with Program Monitors.
ESORICS
Jay Ligatti, Lujo Bauer, David Walker
2003 A conf
A theory of aspects.
ICFP
David Walker, Steve Zdancewic, Jay Ligatti