Ajay Chander

2009
12	EE	Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura: Formal Specification and Analysis of Timing Properties in Software Systems. FASE 2009: 262-277
2008
11	EE	Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov: JavaScript Instrumentation in Practice. APLAS 2008: 326-341
10	EE	Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su: Dynamic test input generation for web applications. ISSTA 2008: 249-260
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

Coauthor Index

1	Musab AlTurki	[12]
2	Steven Dawson	[2]
3	Drew Dean	[1] [3] [4]
4	Dinakar Dhurjati	[10] [12]
5	David Espinosa	[5] [6] [7]
6	Hiroshi Inamura	[9] [10] [11] [12]
7	Nayeem Islam	[5] [6] [7] [8]
8	Haruka Kikuchi	[11]
9	Peter Lee	[5] [6] [7]
10	Patrick Lincoln	[2]
11	John C. Mitchell	[1] [3] [4]
12	George C. Necula	[5] [6] [7]
13	Igor Serikov	[8] [9] [11]
14	David W. J. Stringer-Calvert	[2]
15	Zhendong Su	[10]
16	Gary Wassermann	[10]
17	Dachuan Yu	[8] [9] [10] [11] [12]

Colors in the list of coauthors