Slides from Selected Presentations

• Distinguished lectures
• Web Security: Sandboxing Untrusted JavaScript, University of Wisconsin, April, 2010. (Revised from version below)
• Paris Kanellakis Lecture, Web Security: Sandboxing Untrusted JavaScript, Brown University, December, 2009.
• Some invited Conference Talks (2004-2006)
• Asian 2006, Tokyo, 2006.
• Logic and Computational Complexity (LCC), Seattle, August, 2006 - see Asian 2006 for later talk covering similar ground.
• International Colloquium on Automata, Languages and Programming (ICALP), Track C, and Principles and Practice of Declarative Programming, July, 2005.
• Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA), July, 2005.
• Security Analysis of Network Protocols (FMSE '04)
• Recent Conference Talks (many delivered by coauthors)
• A Modular Correctness Proof of TLS and IEEE 802.11i (ACM CCS '05)
• Stronger Password Authentication Using Browser Extensions (USENIX Security '05)
• Compositional Analysis of Contract Signing Protocols (CSFW '05)
• Abstraction and Refinement in Protocol Derivation (CSFW '04)
• Probabilistic bisimulation and equivalence for security analysis of network protocols (FOSSACS '04)
• Client-Side Defense Against Web-Based Identity Theft (NDSS '04)
• Invited Conference Talks (1998-2002)
• Formal Methods and Computer Security (USENIX '02)
• Multiset Rewriting and Security Protocol Analysis (RTA '02)
• Mechanism Design and Computer Security (MFPS '02, see also Workshop on Economics and Information Security)
• Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis (LICS '01)
• Probabilistic Polynomial-Time Process Calculus for Security Protocol Analysis (ESOP '01)
• Logic for Computer Security Protocols (ASL '01)
• Programming Language Methods in Computer Security (POPL '01)
• Overview of Formal Methods for Security Protocol Analysis (CAV '98)
• Probabilistic Polynomial-time Framework for Protocol Analysis (CSL '98)
• Conference Papers (before 2003)
• Finite-state analysis of SSL 3.0 (USENIX '98)
• Finite-state analysis of Protocols using Murj (IEEE Security '97)
• TCS Excellence in Computer Science Week (TECS Week), Pune, India, January 4-8, 2005.
  • Partt I: Introduction (pdf)
  • Part II : Secure Sockets Layer/TLS (pdf)
  • Part III: Key exchange protocols (pdf)
  • Part IV: Protocol verification by the inductive method (pdf)
  • Part V: Contract-signing protocols (pdf)
  • Part VI: Protocol Composition Logic (pdf)
  • Part VII: Probabilistic polynomial-time process calculus (pdf)
• Short course on Security Protocols, Marktoberdof Summer School 1998
• Part I: Security Protocols
• Part II: Short Overview of Cryptography
• Part III: Protocol Analysis
• Part IV: Model Checking
• Part V: Probability and Complexity
• Short course on objects, Marktoberdorf Summer School 1996
• Part I: Foundations and Type-theoretic Framework.
• Part II: Object-oriented Methodology, Program Structure.
• Part III: Language support. Discussion of encapsulation, dynamic lookup, subtyping and inheritance.
• Part IV: Formal Models of Objects.

Return to J Mitchell home page