Martín Abadi

IRL Name: 
Martín Abadi

Martín Abadi is a computer scientist, currently working at the University of California, Santa Cruz. He earned his Ph.D. from Stanford University in 1987 as a student of Zohar Manna.

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.


Wrote a Security Analysis of Cryptographically Controlled Access to XML Documents