Avik Chaudhuri received his Ph.D. working on security analysis of file systems, operating systems, and distributed systems. In collaboration with his advisor, Prof. Martín Abadi, and other researchers at Microsoft Research India and École Normale Supérieure Paris, he has developed and applied formal techniques and tools for specifying and verifying security in state-of-the-art computer systems, including storage systems with distributed access control (such as NASD/OSD), file systems for untrusted storage (such as Plutus), and operating systems with multi-level security (such as Windows Vista and Asbestos). This research has often resulted in finding attacks and other security bugs in such systems, and provably correcting them.

In 2009, he joined the Programming Languages group at the University of Maryland as a postdoctoral fellow.

Publications

2006

• Avik Chaudhuri, Martín Abadi, Formal Analysis of Dynamic, Distributed File-System Access Controls, Proceedings of the 26th IFIP WG6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE '06), September 2006, pages 99-114. [Secure File and Storage Systems]
• Avik Chaudhuri, Martín Abadi, Secrecy by Typing and File-Access Control, Proceedings of the 19th IEEE Computer Security Foundations Workshop (CSFW '06), July 2006, pages 112-123. [Secure File and Storage Systems]

2005

• Avik Chaudhuri, Martín Abadi, Formal Security Analysis of Basic Network-Attached Storage, Proceedings of the 3rd ACM Workshop on Formal Methods in Security Engineering (FMSE'05), November 2005, pages 43-52. [Secure File and Storage Systems]