This is a partial list of publications on Ajay Chander's scientific work.

 

 

 

Journal Articles (Best Paper Award Compilations)

 

Ajay Chander, Drew Dean, and John C. Mitchell. Reconstructing Trust Management.  Journal of Computer Security, Volume 12, Issue 1, IOS Press, pp 131-164, 2004.

 

Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, and George Necula.  Resource Bounds Enforcement via Static Verification of Dynamic Checks.  ACM Transactions on Programming Languages and Systems, ACM Press, Will appear in 2006.

 

Peer Reviewed Conference Papers

 

Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, and George Necula.  JVer: A Java Verifier.  In Proceedings of the Conference on Computer Aided Verification (CAV'05), July 2005.

 

Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, and George Necula.  Enforcing Resource Bounds via Static Verification of Dynamic Checks.  In Proceedings of the European Symposium on Programming (ESOP'05), Lecture Notes in Computer Science, Volume 3444, March 2005, pp 311 – 325.

 

Ajay Chander, Drew Dean, and John C. Mitchell.  A Distributed High Assurance Reference Monitor.  In Proceedings of the 7th International Conference on Computer Security, September 2004, Springer LNCS 3225, pp 231-244.

 

Ajay Chander, Steve Dawson, Pat Lincoln, and David Stringer-Calvert.  NEVRLATE: Scalable Resource Discovery.  In Proceedings of the 2nd ACM/IEEE Symposium on Cluster Computing and the Grid (CCGrid'02), May 2002, IEEE Computer Society Press, pp 382-388.

 

Ajay Chander, Drew Dean, and John C. Mitchell.  Deconstructing Trust Management.  In Proceedings of ACM SIGPLAN and IFIP WG 1.7 Workshop on Issues in the Theory of Security (WITS'02), January 2002, pp 47-53.

 

Ajay Chander, Drew Dean, and John C. Mitchell.  A State-Transition Model of Trust Management and Access Control.  In Proceedings of the 14th IEEE Computer Security Foundations Workshop, June 2001, IEEE Computer Science Press, pp 27-43.

 

Ajay Chander, John C. Mitchell, and Insik Shin.  Mobile Code Security by Java Bytecode Instrumentation.  In Proceedings of the 2nd DARPA Information Survivability Conference and Exposition (DISCEX'01), June 2001, IEEE Computer Science Press, pp 1027-1040.

 

Dissertations

 

Ajay Chander.  A Constructive Design Methodology for Trust Management Systems.  Ph.D. Thesis, Computer Science Department, Stanford University, January 2004.

 

Ajay Chander.  An Analysis of Rewriting Systems.  B.Tech. Thesis, Computer Science Department, Indian Institute of Technology, New Delhi, May 1998.