| 2008 |
|---|
| 9 | EE | Dachuan Yu,
Ajay Chander,
Hiroshi Inamura,
Igor Serikov:
Better abstractions for secure server-side scripting.
WWW 2008: 507-516 |
| 2007 |
|---|
| 8 | EE | Dachuan Yu,
Ajay Chander,
Nayeem Islam,
Igor Serikov:
JavaScript instrumentation for browser security.
POPL 2007: 237-249 |
| 7 | EE | Ajay Chander,
David Espinosa,
Nayeem Islam,
Peter Lee,
George C. Necula:
Enforcing resource bounds via static verification of dynamic checks.
ACM Trans. Program. Lang. Syst. 29(5): (2007) |
| 2005 |
|---|
| 6 | EE | Ajay Chander,
David Espinosa,
Nayeem Islam,
Peter Lee,
George C. Necula:
JVer: A Java Verifier.
CAV 2005: 144-147 |
| 5 | EE | Ajay Chander,
David Espinosa,
Nayeem Islam,
Peter Lee,
George C. Necula:
Enforcing Resource Bounds via Static Verification of Dynamic Checks.
ESOP 2005: 311-325 |
| 2004 |
|---|
| 4 | EE | Ajay Chander,
Drew Dean,
John C. Mitchell:
A Distributed High Assurance Reference Monitor.
ISC 2004: 231-244 |
| 3 | | Ajay Chander,
Drew Dean,
John C. Mitchell:
Reconstructing Trust Management.
Journal of Computer Security 12(1): 131-164 (2004) |
| 2002 |
|---|
| 2 | EE | Ajay Chander,
Steven Dawson,
Patrick Lincoln,
David W. J. Stringer-Calvert:
NEVRLATE: Scalable Resource Discovery.
CCGRID 2002: 382-388 |
| 2001 |
|---|
| 1 | EE | Ajay Chander,
John C. Mitchell,
Drew Dean:
A State-Transition Model of Trust Management and Access Control.
CSFW 2001: 27-43 |
