Martín Abadi
- Security
- Specification and verification
- Programming languages
- Other topics
Some future conferences:
· FCC 2010
· IEEE Symposium on
Logic in Computer Science
Some journals and magazines:
A book series:
· Information
Security and Cryptography
Miscellaneous records:
· A workshop: Workshop
on security and languages (October 1997)
Information for prospective students. (Please see this before sending me e-mail on admissions.)