Selected Publications                (Books listed elsewhere)

Papers listed by topic below
Many papers listed by year at DBLP Bibliography Server, with coauthor index.
Return to J Mitchell home page

Recent papers not sorted by topic (2008-2010)

Access Control and Privacy Policy

Privacy policy languages and enforcement

Access control (including DRM, Trust management and the RT system)

Web Security, Authentication, and Identity Theft

Distributed Mechanism Design

Network Protocols and Security Analysis

Finite-state analysis and case studies (including 802.11i wireless authentication, SSL, contract signing)

Protocol composition logic

Probabilistic Foundations, Ideal Functionality and specification methods

Multiset rewriting, related logical methods, decision procedures, and lower bounds

Malware Detection and Mitigation

Mobile Code Security

Java, RMI, and Jini Security

Java Bytecode Verifier

Tamper-Resistant Code

Object Systems, Java design and Foundations

Linear Logic

Type Theory and Semantics