Publications

January 31, 2008 Proc. 3rd ACM Workshop on Programming Languages and Analysis for Security, Tucson, USA (PLAS 2008), pp. 89-100. (Also appears in ACM SIGPLAN Notices, 43(12):9-20 , as one of "the top two papers of PLAS 2008".)

A Type System for Data-Flow Integrity on Windows Vista

A. Chaudhuri, S. Rajamani, P. Naldurg

January 31, 2008 Journal of Scientific Computing , 35, 350-371

An Unconditionally Stable MacCormack Method

A. Selle, R. Fedkiw, Byungmoon Kim, Y. Liu, J. Rossignac

January 31, 2008 Proc. 29th IEEE Symposium on Security and Privacy, Oakland, USA (S&P 2008), pp. 417-431

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

B. Blanchet, A. Chaudhuri

January 31, 2008 Proc. 15th ACM Conference on Computer and Communications Security, Alexandria, USA (CCS 2008), pp. 381-390

EON: Modeling and Analyzing Dynamic Access Control Systems with Logic Programs

A. Chaudhuri, P. Naldurg, G. Ramalingam, S. Rajamani, S. Velaga

January 31, 2008 PhD Dissertation, University of California, Santa Cruz, USA

Foundations of Access Control for Secure Storage

A. Chaudhuri

January 31, 2008 International Symposium on Visual Computing (ISVC) , Las Vegas, NV

Learning Pairwise Dissimilarity Profiles for Appearance Recognition in Visual Surveillance

Zhe Lin, L. Davis

January 31, 2008 ACM SIGGRAPH ASIA 2008 courses , 1-80

light-interaction-with-human-skin:-from-believable-images-to-predictable-models

G. Baranoski, A. Krishnaswamy

January 31, 2008 Proc. LICS / CSF Joint Workshop on Computer Security, Pittsburgh, USA (FCS-ARSPA-WITS 2008), pp. 93-107

On Secure Distributed Implementations of Dynamic Access Control

A. Chaudhuri

January 31, 2008 ICIP 2008

Regularized Depth from Defocus

V. Namboodiri, S. Chaudhuri, Sunil Hadap

January 31, 2008 In Proceedings of the 10th European Conference on Computer Vision

Search Space Reduction for MRF Stereo

L. Wang, Hailin Jin, R. Yang