Search the dblp DataBase

Publications of Author

1. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
   JVer: A Java Verifier. [Citation Graph (0, 0)][DBLP]
   CAV, 2005, pp:144-147 [Conf]
   
2. Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert
   NEVRLATE: Scalable Resource Discovery. [Citation Graph (0, 0)][DBLP]
   CCGRID, 2002, pp:382-388 [Conf]
   
3. Ajay Chander, John C. Mitchell, Drew Dean
   A State-Transition Model of Trust Management and Access Control. [Citation Graph (0, 0)][DBLP]
   CSFW, 2001, pp:27-43 [Conf]
   
4. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
   Enforcing Resource Bounds via Static Verification of Dynamic Checks. [Citation Graph (0, 0)][DBLP]
   ESOP, 2005, pp:311-325 [Conf]
   
5. Ajay Chander, Drew Dean, John C. Mitchell
   A Distributed High Assurance Reference Monitor. [Citation Graph (0, 0)][DBLP]
   ISC, 2004, pp:231-244 [Conf]
   
6. Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov
   JavaScript instrumentation for browser security. [Citation Graph (0, 0)][DBLP]
   POPL, 2007, pp:237-249 [Conf]
   
7. Ajay Chander, Drew Dean, John C. Mitchell
   Reconstructing Trust Management. [Citation Graph (0, 0)][DBLP]
   Journal of Computer Security, 2004, v:12, n:1, pp:131-164 [Journal]
   
8. Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula
   Enforcing resource bounds via static verification of dynamic checks. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
   
9. 
   JavaScript Instrumentation in Practice. [Citation Graph (, )][DBLP]
   
   
10. 
    Formal Specification and Analysis of Timing Properties in Software Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Dynamic test input generation for web applications. [Citation Graph (, )][DBLP]
    
    
12. 
    Optimizing user interaction for mobile web browsing. [Citation Graph (, )][DBLP]
    
    
13. 
    Better abstractions for secure server-side scripting. [Citation Graph (, )][DBLP]
    
    
14. 
    Optimizing user interaction for web-based mobile tasks. [Citation Graph (, )][DBLP]