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:

Another 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