Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Martín Abadi - Home Page
[go: Go Back, main page]

Martín Abadi - Home Page

Contact information

Current interests and history

Papers by subject

Patents

A book: A Theory of Objects

Some future conferences:

  • IFIP International Conference on Theoretical Computer Science
  • Crypto 2000
  • 2001 IEEE Symposium on Security and Privacy ("Oakland")
  • European Joint Conferences on Theory and Practice of Software (ETAPS) 2001
  • International Workshops on Foundations of Object-Oriented Languages (FOOL)
  • IEEE Symposium on Logic in Computer Science (LICS)

    Some journals:

  • International Journal of Information Security
  • The Chicago Journal
  • Information and Computation
  • Journal of the ACM

    Miscellaneous records:

  • A course: Design of programming languages (CS263 at UC Berkeley, Spring 1997)
  • A workshop: Workshop on security and languages (October 1997)

    Martín Abadi / Bell Labs Research, Palo Alto / Lucent Technologies