John C. Mitchell
John C. Mitchell is included for documented contributions to the technical and formal foundations of computer security and cryptography.
John C. Mitchell is a Stanford computer scientist whose research includes programming languages, computer security, privacy, and formal methods. His work has helped connect rigorous language-based reasoning with the analysis of security protocols and systems.
Security relevance
Security protocols and software benefit from explicit models of behavior, adversaries, and composition. Mitchell’s research and leadership in security laboratories helped advance formal approaches to web security, protocol analysis, and trustworthy systems.
Timeline
- 1984Receives a Ph.D. in computer science from MIT.
- 1990sCo-leads work in Stanford’s Computer Security Lab.
- 2005Stanford becomes a lead institution in the TRUST NSF Science and Technology Center.
- 2019Begins service as chair of Stanford’s computer-science department.
John C. Mitchell
- Type
- Person
- Era
- 1980s-Present
- Known for
- Formal security-protocol analysis; Stanford Computer Security Lab; Programming-language theory
- Tags
- formal-methods, computer-security, privacy, programming-languages, academic-research
Created by Joas A Santos · Something wrong or want it removed? Open an issue.