John C Mitchell - Google Scholar Citations

Cited by

	All	Since 2015
Citations	26451	6218
h-index	89	43
i10-index	202	99

1500

750

375

1125

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202096 150 169 230 285 364 414 366 434 437 426 561 522 457 607 783 819 1097 1171 1308 1280 1249 1276 1202 1354 1244 1431 1298 1309 1179 1081 1012 337

Co-authors

Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
patrick lincolnSRIVerified email at sri.com
Ninghui LiProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Arnab RoyResearch Manager, Fujitsu Laboratories of AmericaVerified email at cs.stanford.edu
Dan BonehProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Kathleen FisherProfessor of Computer Science, Tufts UniversityVerified email at eecs.tufts.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers University of TechnologyVerified email at chalmers.se
David MazièresProfessor of Computer Science, Stanford UniversityVerified email at nospam.scs.stanford.edu
Elie BurszteinSecurity and anti-abuse research lead, GoogleVerified email at google.com
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cmu.edu
Stephen FreundComputer Science, Williams CollegeVerified email at cs.williams.edu
Ankur TalyHead of Data Science at Fiddler LabsVerified email at fiddler.ai
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
David LieUniversity of TorontoVerified email at eecg.toronto.edu
Paris C. Kanellakis 1953-1995Professor of Computer Science, Brown UniversityVerified email at cmu.edu
Ulrich SternNo affiliationVerified email at cs.stanford.edu
Vanessa TeagueComputing and Information Systems, University of MelbourneVerified email at unimelb.edu.au

John C Mitchell

Professor of Computer Science, Stanford University

Verified email at Stanford.edu

Computer security programming languages mathematical logic education


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Design of a role-based trust-management framework N Li, JC Mitchell, WH Winsborough Proceedings 2002 IEEE Symposium on Security and Privacy, 114-130, 2002	1028	2002
Architectural support for copy and tamper resistant software D Lie, C Thekkath, M Mitchell, P Lincoln, D Boneh, J Mitchell, M Horowitz Acm Sigplan Notices 35 (11), 168-177, 2000	887	2000
Foundations for programming languages JC Mitchell MIT press 1, 2.1-7.1, 1996	861	1996
Automated analysis of cryptographic protocols using Mur/spl phi JC Mitchell, M Mitchell, U Stern Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No. 97CB36097 …, 1997	727	1997
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	707	1988
Client-side defense against web-based identity theft NCRLY Teraguchi, JC Mitchell Computer Science Department, Stanford University. Available: http://crypto …, 2004	593	2004
Distributed credential chain discovery in trust management N Li, WH Winsborough, JC Mitchell Journal of Computer Security 11 (1), 35-86, 2003	547	2003
Robust defenses for cross-site request forgery A Barth, C Jackson, JC Mitchell Proceedings of the 15th ACM conference on Computer and communications …, 2008	530	2008
Third-party web tracking: Policy and technology JR Mayer, JC Mitchell IEEE Symp Security and Privacy, 413-427, 2012	503	2012
Stronger Password Authentication Using Browser Extensions. B Ross, C Jackson, N Miyake, D Boneh, JC Mitchell USENIX Security Symposium, 17-32, 2005	491	2005
Privacy and contextual integrity: Framework and applications A Barth, A Datta, JC Mitchell, H Nissenbaum 2006 IEEE Symposium on Security and Privacy (S&P'06), 15 pp.-198, 2006	449	2006
F-bounded polymorphism for object-oriented programming P Canning, W Cook, W Hill, W Olthoff, JC Mitchell Proceedings of the fourth international conference on Functional programming …, 1989	403	1989
Type systems for programming languages JC Mitchell Formal Models and Semantics, 365-458, 1990	380	1990
State of the art: Automated black-box web application vulnerability testing J Bau, E Bursztein, D Gupta, JC Mitchell IEEE Symposium on Security and Privacy, 332-345, 2010	358	2010
RT: A role-based trust-management framework N Li, JC Mitchell Proceedings DARPA Information Survivability Conference and Exposition 1, 201-212, 2003	355	2003
A meta-notation for protocol analysis I Cervesato, NA Durgin, PD Lincoln, JC Mitchell, A Scedrov Proceedings of the 12th IEEE Computer Security Foundations Workshop, 55-69, 1999	354	1999
Decision problems for propositional linear logic P Lincoln, J Mitchell, A Scedrov, N Shankar Annals of pure and Applied Logic 56 (1-3), 239-311, 1992	340	1992
Undecidability of bounded security protocol NA Durgin The 1999 Federated Logic Conference (FLoC'99), 1999	339	1999
Practical declarative network management TL Hinrichs, NS Gude, M Casado, JC Mitchell, S Shenker Proceedings of the 1st ACM workshop on Research on enterprise networking, 1-10, 2009	325	2009
Text-based CAPTCHA strengths and weaknesses E Bursztein, M Martin, J Mitchell Proceedings of the 18th ACM conference on Computer and communications …, 2011	323	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors