Martín Abadi is a Professor of Computer Science. He works on algorithms and mechanisms for improving file system and storage security.

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]