Travelled to:1 × Sweden
4 × USA
Collaborated with:D.Walker D.Ray L.W.Mackey G.A.Reis D.I.August L.Bauer S.Zdancewic F.Perry
Talks about:type (2) calculus (1) languag (1) assembl (1) theori (1) static (1) polici (1) inject (1) faulti (1) compos (1)
Person: Jay Ligatti
DBLP: Ligatti:Jay
Contributed to:
2012
2007
200620052003Wrote 5 papers:
- POPL-2012-RayL #injection
- Defining code-injection attacks (DR, JL), pp. 179–190.
- PLDI-2007-PerryMRLAW #assembly #fault tolerance
- Fault-tolerant typed assembly language (FP, LWM, GAR, JL, DIA, DW), pp. 42–53.
- ICFP-2006-WalkerMLRA #static typing #type system #λ-calculus
- Static typing for a faulty λ calculus (DW, LWM, JL, GAR, DIA), pp. 38–49.
- PLDI-2005-BauerLW #policy #security
- Composing security policies with polymer (LB, JL, DW), pp. 305–314.
- ICFP-2003-WalkerZL #aspect-oriented #formal method
- A theory of aspects (DW, SZ, JL), pp. 127–139.