PhD candidate, Computer Science
University of California at Santa Cruz
[CV; research statement]
|
|
Avik Chaudhuri PhD candidate, Computer Science University of California at Santa Cruz [CV; research statement] |
| [07/08] | EON: Modeling and Analyzing Dynamic Access
Control Systems with Logic Programs [with Prasad Naldurg, Ganesan Ramalingam, Sriram Rajamani, and Lakshmisubrahmanyam Velaga] Proceedings of the 15th ACM Conference on Computer and Communications Security, Alexandria, USA (CCS 2008), to appear. [Abstract+BibTeX+Implementation] |
| [06/08] | On Secure
Distributed Implementations of Dynamic Access Control Proceedings of the Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis, and Issues in the Theory of Security, Pittsburgh, USA (FCS-ARSPA-WITS 2008), pp. 93-107. [Abstract+BibTeX+Technical report] |
| [06/08] | A Type System for
Data-Flow Integrity on Windows Vista [with Sriram Rajamani and Prasad Naldurg] Proceedings of the 3rd ACM Workshop on Programming Languages and Analysis for Security, Tucson, USA (PLAS 2008), pp. 89-100. Also, to appear in ACM SIGPLAN Notices, as one of "the top two papers of PLAS 2008". [Abstract+BibTeX+Technical report] (© ACM) |
| [05/08] | Automated Formal
Analysis of a Protocol for Secure File Sharing on Untrusted
Storage [with Bruno Blanchet] Proceedings of the 29th IEEE Symposium on Security and Privacy, Oakland, USA (S&P 2008), pp. 417-431. [Abstract+BibTeX+Implementation] (© IEEE) |
| [06/07] | Higher-Order
Synchronization in the π-Calculus (or, Implementing a
Concurrent ML library in Concurrent Haskell) [Abstract+Implementation] |
| [01/07] | Foundations of
Access Control for Secure Storage Dissertation Proposal, University of California, Santa Cruz, USA. |
| [09/06] | Formal Analysis of Dynamic, Distributed
File-System Access Controls [with Martín Abadi] Proceedings of the 26th IFIP International Conference on Formal Methods for Networked and Distributed Systems, Paris, France (FORTE 2006), pp. 99-114. [Abstract+BibTeX] (© Springer) |
| [08/06] | Dynamic Access Control in a Concurrent Object Calculus Proceedings of the 17th International Conference on Concurrency Theory, Bonn, Germany (CONCUR 2006), pp. 263-278. [Abstract+BibTeX] (© Springer) |
| [07/06] | Secrecy by Typing and File-Access Control [with Martín Abadi] Proceedings of the 19th IEEE Computer Security Foundations Workshop, Venice, Italy (CSFW 2006), pp. 112-123. [Abstract+BibTeX] (© IEEE) |
| [11/05] | Formal
Security Analysis of Basic Network-Attached Storage [with Martín Abadi] Proceedings of the 3rd ACM Workshop on Formal Methods in Security Engineering, Fairfax, USA (FMSE 2005), pp. 43-52. [Abstract+BibTeX] (© ACM) |
| [07/04] | Towards
a Generic
Automated Proof-Carrying
Framework Master's Thesis, Indian Institute of Technology, New Delhi, India. |