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

Some conferences and a summer school:

· Trustworthy Global Computing (TGC)
· Principles of Security and Trust (POST)
· Logic in Computer Science (LICS)
· European Joint Conferences on Theory and Practice of Software (ETAPS)
· Foundations of Security Analysis and Design (FOSAD)

Miscellaneous records:

· A course at the Collège de France (2011)
· Some other courses, mostly 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