avik «at» cs·umd·edu
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.
Click here for a list of recent collaborators.
Last modified May 22 2019