John C. Mitchell
0000-0002-0024-860X
Publications
494 total
No publications found.
Research Topics
Logic, programming, and type systems
Security and Verification in Computing
Advanced Authentication Protocols Security
User Authentication and Security Systems
Eating Disorders and Behaviors
Affiliations
Stanford University
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.