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.
Dean Martin | Martin Luther | Martin Scorsese | Ricky Martin | Martin Luther King, Jr. | Lockheed Martin | Martin | Steve Martin | Martin Sheen | St. Martin's Press | Martin Heidegger | Martin Luther King | Max Martin | Aston Martin | Paul Martin | Martin Lawrence | Martin Van Buren | Martin Luther King Jr. | Glenn L. Martin Company | Martin Short | St Martin-in-the-Fields | Martin O'Neill | Martin Amis | George R. R. Martin | George Martin | Martin McGuinness | Martin Freeman | Martin Buber | José de San Martín | Martin of Tours |