Search results for "Jay Ligatti"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Donald Ray, Jay Ligatti	Defining code-injection attacks.	POPL	2012	DBLP DOI BibTeX RDF
1	Daniel Lomsak, Jay Ligatti	PoliSeer: A Tool for Managing Complex Security Policies.	JIP	2011	DBLP DOI BibTeX RDF
1	Jay Ligatti, Srikar Reddy	A Theory of Runtime Enforcement, with Results.	ESORICS	2010	DBLP DOI BibTeX RDF
1	Lujo Bauer, Jay Ligatti, David Walker	Composing expressive runtime security policies.	ACM Trans. Softw. Eng. Methodol.	2009	DBLP DOI BibTeX RDF	policy-specification language, policy enforcement, Policy composition
1	Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti	Control-flow integrity principles, implementations, and applications.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF
1	Jay Ligatti, Lujo Bauer, David Walker	Run-Time Enforcement of Nonsafety Policies.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	monitoring, safety, Security policies, liveness, policy enforcement, security automata
1	Nalin Saigal, Jay Ligatti	Inline Visualization of Concerns.	SERA	2009	DBLP DOI BibTeX RDF
1	Jay Ligatti, Billy Rickey, Nalin Saigal	LoPSiL: A Location-Based Policy-Specification Language.	MobiSec	2009	DBLP DOI BibTeX RDF	Policy-specification languages, location-dependent policies, mobile devices, security and privacy
1	Jay Jarman, James A. McCart, Donald J. Berndt, Jay Ligatti	A Dynamic Query-Rewriting Mechanism for Role-Based Access Control in Databases.	AMCIS	2008	DBLP BibTeX RDF
1	Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker	Fault-tolerant typed assembly language.	PLDI	2007	DBLP DOI BibTeX RDF	transient hardware faults, fault tolerance, typed assembly language, soft faults
1	Jay Ligatti, David Walker, Steve Zdancewic	A type-theoretic interpretation of pointcuts and advice.	Sci. Comput. Program.	2006	DBLP DOI BibTeX RDF
1	David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August	Static typing for a faulty lambda calculus.	ICFP	2006	DBLP DOI BibTeX RDF	transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults
1	Jay Ligatti, Lujo Bauer, David Walker	Edit automata: enforcement mechanisms for run-time security policies.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Run-time checking and monitoring, Classification of security policies, Language-based security, Security automata
1	Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti	A Theory of Secure Control Flow.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Lujo Bauer, Jay Ligatti, David Walker	Composing security policies with polymer.	PLDI	2005	DBLP DOI BibTeX RDF	composable security policies, run-time enforcement, security automata, program monitors, edit automata
1	Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti	Control-flow integrity.	ACM Conference on Computer and Communications Security	2005	DBLP DOI BibTeX RDF	vulnerabilities, control-flow graph, binary rewriting, inlined reference monitors
1	Jay Ligatti, Lujo Bauer, David Walker	Enforcing Non-safety Security Policies with Program Monitors.	ESORICS	2005	DBLP DOI BibTeX RDF
1	David Walker, Steve Zdancewic, Jay Ligatti	A theory of aspects.	SIGPLAN Notices	2003	DBLP DOI BibTeX RDF
1	David Walker, Steve Zdancewic, Jay Ligatti	A theory of aspects.	ICFP	2003	DBLP DOI BibTeX RDF	aspect-oriented programming, operational semantics, aspects, type theory
1	Lujo Bauer, Jarred Ligatti, David Walker	Types and Effects for Non-interfering Program Monitors.	ISSS	2002	DBLP DOI BibTeX RDF

Publications of Jay Ligatti Jarred Ligatti ( http://dblp.L3S.de/Authors/Jay_Ligatti )