|
|
Avik Chaudhuri |
I'm
interested in security analysis of computer systems, using techniques derived from programming
languages and logic. My advisor is Martín Abadi.
I did
undergraduate studies in Computer
Science and Engineering at IIT
Delhi,
where my advisor was Sanjiva
Prasad.
Notices
Job application materials
I expect to graduate in Fall 2008, and am looking for research positions in the areas of computer security and programming languages.
[CV; Research statement]
Program committee member: FMSE 2008.
Research
| [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. |
Contact
Office
Languages and Security
Engineering 2 # 387
Email avik@cs.ucsc.edu
Phone 1.831.459.5637
Postal mail
School of Engineering
University of California at Santa Cruz
1156 High Street, CA 95064
Fax 1.831.459.4829