dblp.uni-trier.dewww.uni-trier.de

Jay Ligatti

Jarred Ligatti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
11EEJay Ligatti, Lujo Bauer, David Walker: Run-Time Enforcement of Nonsafety Policies. ACM Trans. Inf. Syst. Secur. 12(3): (2009)
2007
10EEFrances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker: Fault-tolerant typed assembly language. PLDI 2007: 42-53
2006
9EEDavid Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August: Static typing for a faulty lambda calculus. ICFP 2006: 38-49
8EEJay Ligatti, David Walker, Steve Zdancewic: A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63(3): 240-266 (2006)
2005
7EEMartín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: Control-flow integrity. ACM Conference on Computer and Communications Security 2005: 340-353
6EEJay Ligatti, Lujo Bauer, David Walker: Enforcing Non-safety Security Policies with Program Monitors. ESORICS 2005: 355-373
5EEMartín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: A Theory of Secure Control Flow. ICFEM 2005: 111-124
4EELujo Bauer, Jay Ligatti, David Walker: Composing security policies with polymer. PLDI 2005: 305-314
3EEJay 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
2EEDavid Walker, Steve Zdancewic, Jay Ligatti: A theory of aspects. ICFP 2003: 127-139
2002
1EELujo Bauer, Jarred Ligatti, David Walker: Types and Effects for Non-interfering Program Monitors. ISSS 2002: 154-171

Coauthor Index

1Martín Abadi [5] [7]
2David I. August [9] [10]
3Lujo Bauer [1] [3] [4] [6] [11]
4Mihai Budiu [5] [7]
5Úlfar Erlingsson [5] [7]
6Lester W. Mackey [9] [10]
7Frances Perry [10]
8George A. Reis [9] [10]
9David Walker [1] [2] [3] [4] [6] [8] [9] [10] [11]
10Steve Zdancewic [2] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)