Martín Abadi



A Theory of Objects

La sécurité informatique

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


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

Contact information

Martín Abadi