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 In Proceedings of the 10th European Conference on Computer Vision Search Space Reduction for MRF Stereo L. Wang, Hailin Jin, R. Yang
January 31, 2008 Adobe Max 2008 Conference , San Francisco, Ca. The Future of PDF and Standards J. King