| 2007 |
|---|
| 9 | EE | 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 |
|---|
| 8 | EE | David Walker,
Lester W. Mackey,
Jay Ligatti,
George A. Reis,
David I. August:
Static typing for a faulty lambda calculus.
ICFP 2006: 38-49 |
| 7 | EE | Jay Ligatti,
David Walker,
Steve Zdancewic:
A type-theoretic interpretation of pointcuts and advice.
Sci. Comput. Program. 63(3): 240-266 (2006) |
| 2005 |
|---|
| 6 | EE | Martín Abadi,
Mihai Budiu,
Úlfar Erlingsson,
Jay Ligatti:
Control-flow integrity.
ACM Conference on Computer and Communications Security 2005: 340-353 |
| 5 | EE | Jay Ligatti,
Lujo Bauer,
David Walker:
Enforcing Non-safety Security Policies with Program Monitors.
ESORICS 2005: 355-373 |
| 4 | EE | Martín Abadi,
Mihai Budiu,
Úlfar Erlingsson,
Jay Ligatti:
A Theory of Secure Control Flow.
ICFEM 2005: 111-124 |
| 3 | EE | Lujo Bauer,
Jay Ligatti,
David Walker:
Composing security policies with polymer.
PLDI 2005: 305-314 |
| 2 | EE | 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 |
|---|
| 1 | EE | David Walker,
Steve Zdancewic,
Jay Ligatti:
A theory of aspects.
ICFP 2003: 127-139 |
