Martín Abadi


Papers

Books:

A Theory of Objects

La sécurité informatique

Description: Z:\job\cover-book2.jpg

 

Courses:
· A course at the Collège de France (2011)
· Some other courses, mostly at UCSC

 

Some journals, magazines, conferences, and other events:
·  Information and Computation
·  Communications of the ACM
·  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)
·  Workshop on security and languages (a long time ago: October 1997)

Contact information


Martín Abadi