abadi «at» cs·ucsc·edu
Website
Martín Abadi
Martín Abadi is Professor Emeritus of Computer Science. He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the Burrows-Abadi-Needham logic for analyzing authentication protocols, and his book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.
He is a 2008 Fellow of the Association for Computing Machinery. In 2011, he was a visiting professor at the Collège de France in Paris, teaching computer security.
Publications
| Date | Publication | |
|---|---|---|
| Sep 15, 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] |
|
| Jul 1, 2006 |
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] |
|
| Nov 1, 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] |
Click here for a list of recent collaborators.