John C Mitchell

Citado por

	Total	Desde 2016
Citas	27388	5654
Índice h	89	41
Índice i10	206	95

1500

750

375

1125

198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202197 149 157 233 281 375 427 365 451 437 435 575 521 459 615 810 820 1115 1172 1323 1293 1255 1284 1198 1369 1256 1434 1307 1348 1220 1103 1060 902 19

Coautores

Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de math.upenn.edu
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUDirección de correo verificada de cmu.edu
patrick lincolnSRIDirección de correo verificada de sri.com
Ninghui LiProfessor of Computer Science, Purdue UniversityDirección de correo verificada de cs.purdue.edu
Arnab RoyResearch Manager, Fujitsu Laboratories of AmericaDirección de correo verificada de cs.stanford.edu
Deian StefanUC San DiegoDirección de correo verificada de eng.ucsd.edu
Dan BonehProfessor of Computer Science, Stanford UniversityDirección de correo verificada de cs.stanford.edu
dusko pavlovicProfessor at University of HawaiiDirección de correo verificada de hawaii.edu
Kathleen FisherProfessor of Computer Science, Tufts UniversityDirección de correo verificada de eecs.tufts.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers University of TechnologyDirección de correo verificada de chalmers.se
David MazièresProfessor of Computer Science, Stanford UniversityDirección de correo verificada de nospam.scs.stanford.edu
Elie BurszteinSecurity and anti-abuse research lead, GoogleDirección de correo verificada de google.com
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cmu.edu
Stephen FreundComputer Science, Williams CollegeDirección de correo verificada de cs.williams.edu
Ankur TalyStaff Research Scientist, GoogleDirección de correo verificada de google.com
Luca CardelliUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
Paris C. Kanellakis 1953-1995Professor of Computer Science, Brown UniversityDirección de correo verificada de cmu.edu
David LieUniversity of TorontoDirección de correo verificada de eecg.toronto.edu
Ulrich SternNo affiliationDirección de correo verificada de cs.stanford.edu
Vanessa TeagueThinking Cybersecurity and The Australian National UniversityDirección de correo verificada de anu.edu.au

John C Mitchell

Professor of Computer Science, Stanford University

Dirección de correo verificada de Stanford.edu

Computer security programming languages mathematical logic education


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	1049	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	908	2000
Foundations for programming languages JC Mitchell MIT press, 1996	882	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	735	1997
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	716	1988
Client-side defense against web-based identity theft N Chou, L Robert, Y Teraguchi, JC Mitchell Network and Distributed Systems Security (NDSS), 2004	613*	2004
Third-party web tracking: Policy and technology JR Mayer, JC Mitchell IEEE Symp Security and Privacy, 413-427, 2012	558	2012
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 Proc ACM Conf on Computer and Communications Security, 75-88, 2008	546	2008
Stronger Password Authentication Using Browser Extensions. B Ross, C Jackson, N Miyake, D Boneh, JC Mitchell USENIX Security Symposium, 17-32, 2005	510	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	485	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	417	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	394	2010
Type systems for programming languages JC Mitchell Formal Models and Semantics, 365-458, 1990	385	1990
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	364	1999
RT: A role-based trust-management framework N Li, JC Mitchell Proceedings DARPA Information Survivability Conference and Exposition 1, 201-212, 2003	359	2003
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	353	1992
Text-based CAPTCHA strengths and weaknesses E Bursztein, M Martin, J Mitchell Proceedings of the 18th ACM conference on Computer and communications …, 2011	352	2011
Undecidability of bounded security protocols NA Durgin, PD Lincoln, JC Mitchell, A Scedrov The 1999 Federated Logic Conference (FLoC'99), 1999	340	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	337	2009

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores