Martín Abadi

Contact information

Papers by subject

• Security
• in journals
• in conferences
• etc.
• Specification and verification
• in journals
• in conferences
• dissertation
• etc.
• Programming languages
• in journals
• in conferences
• etc.
• Other topics
• in journals
• in conferences

A book:

Some future conferences:

·  ACM CCS

·  European Joint Conferences on Theory and Practice of Software  

·  IEEE Symposium on Logic in Computer Science

·  IEEE Computer Security Foundations

Some journals and magazines:

·  Information and Computation

·  Journal of the ACM

·  Communications of the ACM

·  ACM Transactions on Programming Languages and Systems

·  IEEE Security & Privacy

A book series:

·  Information Security and Cryptography

Miscellaneous records:

·  Some courses

·  A workshop: Workshop on security and languages (October 1997)

Information for prospective students. (Please see this before sending me e-mail on admissions.)

Martín Abadi