Martín Abadi

Contact information

Papers by subject

• Security
• in journals
• in conferences
• etc.
• Specification and verification
• in journals
• in conferences
• dissertation
• etc.
• Programming languages
• in journals
• in conferences
• etc.
• Other topics
• in journals
• in conferences

A book:

Some journals and magazines:

·  Information and Computation

·  Journal of the ACM

·  Communications of the ACM

A book series:

·  Information Security and Cryptography

Miscellaneous records:

·  A course at the Collège de France (2011)
·  Some courses at UCSC

·  A workshop: Workshop on security and languages (a long time ago: October 1997)

Information for prospective students. (Please see this before sending me e-mail on admissions.)

Martín Abadi