John Mitchell
stanford, CaliforniaComputer security
Access control
Network protocols
Privacy
Software systems
Web security
Programming languages
Type systems
Object systems
Formal methods
View all (12)
Applications of mathematical logic to computer science
Computer Science
Unlock Full Profile
Direct contact details on file
Use 1 credit to reveal John's full profile, including contact information, credentials, and complete work history. If they don't respond within 5 days, your credit is refunded.