Search the dblp DataBase

Publications of Author

1. Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
   Control-flow integrity. [Citation Graph (0, 0)][DBLP]
   ACM Conference on Computer and Communications Security, 2005, pp:340-353 [Conf]
   
2. Jay Ligatti, Lujo Bauer, David Walker
   Enforcing Non-safety Security Policies with Program Monitors. [Citation Graph (0, 0)][DBLP]
   ESORICS, 2005, pp:355-373 [Conf]
   
3. Martín Abadi, Mihai Budiu, Úlfar Erlingsson, Jay Ligatti
   A Theory of Secure Control Flow. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2005, pp:111-124 [Conf]
   
4. David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August
   Static typing for a faulty lambda calculus. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:38-49 [Conf]
   
5. David Walker, Steve Zdancewic, Jay Ligatti
   A theory of aspects. [Citation Graph (0, 0)][DBLP]
   ICFP, 2003, pp:127-139 [Conf]
   
6. Lujo Bauer, Jay Ligatti, David Walker
   Composing security policies with polymer. [Citation Graph (0, 0)][DBLP]
   PLDI, 2005, pp:305-314 [Conf]
   
7. Jay Ligatti, Lujo Bauer, David Walker
   Edit automata: enforcement mechanisms for run-time security policies. [Citation Graph (0, 0)][DBLP]
   Int. J. Inf. Sec., 2005, v:4, n:1-2, pp:2-16 [Journal]
   
8. Jay Ligatti, David Walker, Steve Zdancewic
   A type-theoretic interpretation of pointcuts and advice. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2006, v:63, n:3, pp:240-266 [Journal]
   
9. Frances Perry, Lester W. Mackey, George A. Reis, Jay Ligatti, David I. August, David Walker
   Fault-tolerant typed assembly language. [Citation Graph (0, 0)][DBLP]
   PLDI, 2007, pp:42-53 [Conf]
   
10. 
    A Theory of Runtime Enforcement, with Results. [Citation Graph (, )][DBLP]
    
    
11. 
    Inline Visualization of Concerns. [Citation Graph (, )][DBLP]
    
    
12. 
    LoPSiL: A Location-Based Policy-Specification Language. [Citation Graph (, )][DBLP]