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:
·  Communications of the ACM
·  Foundations and Trends in Programming Languages
·  Foundations and Trends in Privacy and Security
·  Logic in Computer Science (LICS)
·  Workshop on security and languages (a long time ago: October 1997)

Contact information


Martín Abadi