Jay Ligatti Home Page Coauthor index pubzone.org

Jarred Ligatti

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
j8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Joshua Finnis, Nalin Saigal, Adriana Iamnitchi, Jay Ligatti: A location-based policy-specification language for mobile devices. Pervasive and Mobile Computing 8(3): 402-414 (2012)
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Donald Ray, Jay Ligatti: Defining code-injection attacks. POPL 2012: 179-190
2011
j7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Daniel Lomsak, Jay Ligatti: PoliSeer: A Tool for Managing Complex Security Policies. JIP 19: 292-306 (2011)
2010
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jay Ligatti, Srikar Reddy: A Theory of Runtime Enforcement, with Results. ESORICS 2010: 87-100
2009
j6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jay Ligatti, Lujo Bauer, David Walker: Run-Time Enforcement of Nonsafety Policies. ACM Trans. Inf. Syst. Secur. 12(3) (2009)
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Syst. Secur. 13(1) (2009)
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lujo Bauer, Jay Ligatti, David Walker: Composing expressive runtime security policies. ACM Trans. Softw. Eng. Methodol. 18(3) (2009)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jay Ligatti, Billy Rickey, Nalin Saigal: LoPSiL: A Location-Based Policy-Specification Language. MobiSec 2009: 265-277
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Nalin Saigal, Jay Ligatti: Inline Visualization of Concerns. SERA 2009: 95-102
2008
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jay Ligatti, David Walker, Steve Zdancewic: A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program. 63(3): 240-266 (2006)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August: Static typing for a faulty lambda calculus. ICFP 2006: 38-49
2005
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: Control-flow integrity. ACM Conference on Computer and Communications Security 2005: 340-353
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jay Ligatti, Lujo Bauer, David Walker: Enforcing Non-safety Security Policies with Program Monitors. ESORICS 2005: 355-373
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti: A Theory of Secure Control Flow. ICFEM 2005: 111-124
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lujo Bauer, Jay Ligatti, David Walker: Composing security policies with polymer. PLDI 2005: 305-314
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Walker, Steve Zdancewic, Jay Ligatti: A theory of aspects. SIGPLAN Notices 38(9): 127-139 (2003)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
David Walker, Steve Zdancewic, Jay Ligatti: A theory of aspects. ICFP 2003: 127-139
2002
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Lujo Bauer, Jarred Ligatti, David Walker: Types and Effects for Non-interfering Program Monitors. ISSS 2002: 154-171

Coauthor Index

1Martín Abadi
[j5] [c6] [c4]
2David I. August
[c8] [c7]
3Lujo Bauer
[j6] [j4] [j2] [c5] [c3] [c1]
4Donald J. Berndt
[c9]
5Mihai Budiu
[j5] [c6] [c4]
6Úlfar Erlingsson
[j5] [c6] [c4]
7Joshua Finnis
[j8]
8Adriana Iamnitchi
[j8]
9Jay Jarman
[c9]
10Daniel Lomsak
[j7]
11Lester W. Mackey
[c8] [c7]
12James A. McCart
[c9]
13Frances Perry
[c8]
14Donald Ray
[c13]
15Srikar Reddy
[c12]
16George A. Reis
[c8] [c7]
17Billy Rickey
[c11]
18Nalin Saigal
[j8] [c11] [c10]
19David Walker
[j6] [j4] [c8] [j3] [c7] [j2] [c5] [c3] [j1] [c2] [c1]
20Steve Zdancewic
[j3] [j1] [c2]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun May 19 01:53:19 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page