LigattiJay

发表

Control-flow integrity principles, implementations, and applications

AbadiMartín, BudiuMihai, ErlingssonÚlfar, 2009 .

Run-Time Enforcement of Nonsafety Policies

LigattiJay, BauerLujo, WalkerDavid, 2009 .

Fault-tolerant typed assembly language

LigattiJay, I AugustDavid, PerryFrances, 2007 .

Composing expressive runtime security policies

LigattiJay, BauerLujo, WalkerDavid, 2009 .

Modeling runtime enforcement with mandatory results automata

LigattiJay, DolzhenkoEgor, ReddySrikar, 2015 .

On Subtyping-Relation Completeness, with an Application to Iso-Recursive Types

LigattiJay, BlackburnJeremy, NachtigalMichael, 2017 .

Defining code-injection attacks

LigattiJay, RayDonald, 2012 .