Books:
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)