John C Mitchell

Cited by

	All	Since 2019
Citations	34404	6418
h-index	96	39
i10-index	223	110

1700

850

425

1275

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202494 145 231 268 294 369 420 386 436 459 460 597 518 509 647 811 922 1166 1276 1464 1400 1364 1356 1303 1477 1414 1644 1483 1541 1408 1369 1277 1187 1064 1036 949 900

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaVerified email at math.upenn.edu
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUVerified email at cmu.edu
patrick lincolnSRIVerified email at sri.com
Ante DerekAssociate Professor, University of Zagreb Faculty of Electrical Engineering and ComputingVerified email at fer.unizg.hr
Elie BurszteinGoogle & DeepMind AI Cybersecurity technical and research leadVerified email at google.com
Arnab RoyResearch Scientist, Mysten LabsVerified email at cs.stanford.edu
Ninghui LiProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Deian StefanUC San DiegoVerified email at eng.ucsd.edu
Dan BonehProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Vitaly ShmatikovVerified email at cs.cornell.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityVerified email at chalmers.se
David MazièresProfessor of Computer Science, Stanford UniversityVerified email at nospam.scs.stanford.edu
dusko pavlovicProfessor at University of HawaiiVerified email at hawaii.edu
Stephen FreundComputer Science, Williams CollegeVerified email at cs.williams.edu
Ankur TalySenior Staff Research Scientist, GoogleVerified email at google.com
James E. BraunPurdue UniversityVerified email at purdue.edu
Kathleen FisherAdjunct Professor of Computer Science, Tufts UniversityVerified email at eecs.tufts.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it

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
TRNSYS 17: A transient system simulation program, solar energy laboratory SA Klein, WA Beckman, JW Mitchell, JA Duffie, NA Duffie, TL Freeman, ... Madison, Madison, USA: University of Wisconsin, 2010	1610*	2010
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	1126	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	1072	2000
Foundations for programming languages JC Mitchell MIT press, 1996	1002	1996
Third-party web tracking: Policy and technology JR Mayer, JC Mitchell IEEE Symp Security and Privacy, 413-427, 2012	803	2012
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	785	1997
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	780	1988
Client-side defense against web-based identity theft N Chou, R Ledesma, Y Teraguchi, JC Mitchell Network and Distributed Systems Security (NDSS), 2004	712*	2004
Robust defenses for cross-site request forgery A Barth, C Jackson, JC Mitchell Proc ACM Conf on Computer and Communications Security, 75-88, 2008	672	2008
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	596	2006
Stronger Password Authentication Using Browser Extensions. B Ross, C Jackson, N Miyake, D Boneh, JC Mitchell USENIX Security Symposium 17, 32, 2005	580	2005
Distributed credential chain discovery in trust management N Li, WH Winsborough, JC Mitchell Proceedings of the 8th ACM Conference on Computer and Communications …, 2001	579	2001
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	551*	1989
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	523	2010
Text-based CAPTCHA strengths and weaknesses E Bursztein, M Martin, J Mitchell Proceedings of the 18th ACM conference on Computer and communications …, 2011	489	2011
Type systems for programming languages JC Mitchell Formal Models and Semantics, 365-458, 1990	419	1990
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	411	1992
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	403	2009
Undecidability of bounded security protocols N Durgin, P Lincoln, J Mitchell, A Scedrov Workshop on formal methods and security protocols, 1999	388*	1999
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	383	1999

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

Follow

Cited by

Co-authors