Jay Ligatti

Jarred Ligatti

	2012
20		Donald Ray, Jay Ligatti: Defining code-injection attacks. POPL 2012: 179-190
	2011
19		Daniel Lomsak, Jay Ligatti: PoliSeer: A Tool for Managing Complex Security Policies. JIP 19: 292-306 (2011)
	2010
18		Jay Ligatti, Srikar Reddy: A Theory of Runtime Enforcement, with Results. ESORICS 2010: 87-100
	2009
17		Jay Ligatti, Billy Rickey, Nalin Saigal: LoPSiL: A Location-Based Policy-Specification Language. MobiSec 2009: 265-277
16		Nalin Saigal, Jay Ligatti: Inline Visualization of Concerns. SERA 2009: 95-102
15		Jay Ligatti, Lujo Bauer, David Walker: Run-Time Enforcement of Nonsafety Policies. ACM Trans. Inf. Syst. Secur. 12(3): (2009)
14		Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Syst. Secur. 13(1): (2009)
13		Lujo Bauer, Jay Ligatti, David Walker: Composing expressive runtime security policies. ACM Trans. Softw. Eng. Methodol. 18(3): (2009)
	2008
12		Jay Jarman, James A. McCart, Donald J. Berndt, Jay Ligatti: A Dynamic Query-Rewriting Mechanism for Role-Based Access Control in Databases. AMCIS 2008: 134
	2007
11		Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker: Fault-tolerant typed assembly language. PLDI 2007: 42-53
	2006
10		David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August: Static typing for a faulty lambda calculus. ICFP 2006: 38-49
9		Jay Ligatti, David Walker, Steve Zdancewic: A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63(3): 240-266 (2006)
	2005
8		Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: Control-flow integrity. ACM Conference on Computer and Communications Security 2005: 340-353
7		Jay Ligatti, Lujo Bauer, David Walker: Enforcing Non-safety Security Policies with Program Monitors. ESORICS 2005: 355-373
6		Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: A Theory of Secure Control Flow. ICFEM 2005: 111-124
5		Lujo Bauer, Jay Ligatti, David Walker: Composing security policies with polymer. PLDI 2005: 305-314
4		Jay Ligatti, Lujo Bauer, David Walker: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Sec. 4(1-2): 2-16 (2005)
	2003
3		David Walker, Steve Zdancewic, Jay Ligatti: A theory of aspects. ICFP 2003: 127-139
2		David Walker, Steve Zdancewic, Jay Ligatti: A theory of aspects. SIGPLAN Notices 38(9): 127-139 (2003)
	2002
1		Lujo Bauer, Jarred Ligatti, David Walker: Types and Effects for Non-interfering Program Monitors. ISSS 2002: 154-171

Coauthor Index

1	Martín Abadi	[6] [8] [14]
2	David I. August	[10] [11]
3	Lujo Bauer	[1] [4] [5] [7] [13] [15]
4	Donald J. Berndt	[12]
5	Mihai Budiu	[6] [8] [14]
6	Úlfar Erlingsson	[6] [8] [14]
7	Jay Jarman	[12]
8	Daniel Lomsak	[19]
9	Lester W. Mackey	[10] [11]
10	James A. McCart	[12]
11	Frances Perry	[11]
12	Donald Ray	[20]
13	Srikar Reddy	[18]
14	George A. Reis	[10] [11]
15	Billy Rickey	[17]
16	Nalin Saigal	[16] [17]
17	David Walker	[1] [2] [3] [4] [5] [7] [9] [10] [11] [13] [15]
18	Steve Zdancewic	[2] [3] [9]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page