K
v
ire
.com
your senior peer reviewer
←
Back
Night
Docs
Editor
Drafts
Library
Search
…
Author
John C. Mitchell
also known as Anthony Feinstein, J C Mitchell, J E Mitchell
Stanford University · University of Pisa · Gates (United States) · Boston University
About this author
Works
490
Cited by
24,390
h-index
86
i10
271
ORCID ↗
Top papers
Design of a role-based trust-management framework
Ninghui Li, John C. Mitchell, William H. Winsborough
·
2005
↗ 753
Architectural support for copy and tamper resistant software
David Lie Chandramohan Thekkath, Mark L. Mitchell, Patrick Lincoln, et al.
·
2000
·
ACM SIGARCH Computer Architecture News
↗ 602
OA
Third-Party Web Tracking: Policy and Technology
Jonathan Mayer, John C. Mitchell
·
2012
↗ 495
Automated analysis of cryptographic protocols using Murφ
John C. Mitchell, Murray Mitchell, Ulrich Stern
·
2002
↗ 479
Privacy and contextual integrity: framework and applications
Adam Barth, Anupam Datta, John C. Mitchell, et al.
·
2006
↗ 454
Characteristics of 275 patients with bulimia
John C. Mitchell, Dorothy K. Hatsukami, Elke D. Eckert, et al.
·
1985
·
American Journal of Psychiatry
↗ 436
Abstract types have existential type
John C. Mitchell, Gordon Plotkin
·
1988
·
ACM Transactions on Programming Languages and Systems
↗ 431
OA
Client-Side Defense Against Web-Based Identity Theft.
Neil Chou, Robert Ledesma, Yuka Teraguchi, et al.
·
2004
↗ 429
Robust defenses for cross-site request forgery
Adam Barth, Collin Jackson, John C. Mitchell
·
2008
↗ 412
Stronger password authentication using browser extensions
B. B. Ross, Collin Jackson, Nick Miyake, et al.
·
2005
·
USENIX Security Symposium
↗ 361
Text-based CAPTCHA strengths and weaknesses
Elie Bursztein, Matthieu Martin, John C. Mitchell
·
2011
↗ 341
F-bounded polymorphism for object-oriented programming
Peter S. Canning, William R. Cook, Walter L. Hill, et al.
·
1989
↗ 330
Books
Foundations for programming languages
1996
·
MIT Press