John C Mitchell

Citée par

	Toutes	Depuis 2018
Citations	31149	5824
indice h	95	39
indice i10	217	104

1500

750

375

1125

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202393 139 227 253 290 370 409 379 425 441 462 586 513 491 640 768 907 1131 1246 1425 1351 1298 1305 1258 1405 1317 1498 1339 1419 1264 1181 1119 1006 909 883 724

Accès public

Tout afficher

11 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaAdresse e-mail validée de math.upenn.edu
Anupam DattaProfessor, Electrical and Computer Engineering & Computer Science Departments, CMUAdresse e-mail validée de cmu.edu
patrick lincolnSRIAdresse e-mail validée de sri.com
Ante DerekAssistant Professor, University of Zagreb, Faculty of Electrical Engineering and ComputingAdresse e-mail validée de fer.hr
Elie BurszteinSecurity and anti-abuse research lead, GoogleAdresse e-mail validée de google.com
Dan BonehProfessor of Computer Science, Stanford UniversityAdresse e-mail validée de cs.stanford.edu
Ninghui LiProfessor of Computer Science, Purdue UniversityAdresse e-mail validée de cs.purdue.edu
Deian StefanUC San DiegoAdresse e-mail validée de eng.ucsd.edu
Arnab RoyResearch Scientist Manager, Novi Research | FacebookAdresse e-mail validée de cs.stanford.edu
Vitaly ShmatikovAdresse e-mail validée de cs.cornell.edu
Alejandro RussoProfessor, Computer Science and Engineering Department, Chalmers / Göteborg UniversityAdresse e-mail validée de chalmers.se
David MazièresProfessor of Computer Science, Stanford UniversityAdresse e-mail validée de nospam.scs.stanford.edu
dusko pavlovicProfessor at University of HawaiiAdresse e-mail validée de hawaii.edu
Robert HarperProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de andrew.cmu.edu
Iliano CervesatoProfessor of Computer Science, Carnegie Mellon UniversityAdresse e-mail validée de cmu.edu
Stephen FreundComputer Science, Williams CollegeAdresse e-mail validée de cs.williams.edu
Kathleen FisherAdjunct Professor of Computer Science, Tufts UniversityAdresse e-mail validée de eecs.tufts.edu
Ankur TalyStaff Research Scientist, GoogleAdresse e-mail validée de google.com
Luca CardelliUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Paris C. Kanellakis 1953-1995Professor of Computer Science, Brown UniversityAdresse e-mail validée de cmu.edu

Suivre

John C Mitchell

Professor of Computer Science, Stanford University

Adresse e-mail validée de Stanford.edu

Computer security programming languages mathematical logic education


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	1117	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	1061	2000
Foundations for programming languages JC Mitchell MIT press, 1996	914	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	782	1997
Abstract types have existential type JC Mitchell, GD Plotkin ACM Transactions on Programming Languages and Systems (TOPLAS) 10 (3), 470-502, 1988	774	1988
Third-party web tracking: Policy and technology JR Mayer, JC Mitchell IEEE Symp Security and Privacy, 413-427, 2012	751	2012
Client-side defense against web-based identity theft N Chou, L Robert, Y Teraguchi, JC Mitchell Network and Distributed Systems Security (NDSS), 2004	691*	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	641	2008
Distributed credential chain discovery in trust management N Li, WH Winsborough, JC Mitchell Proceedings of the 8th ACM Conference on Computer and Communications …, 2001	583	2001
Stronger Password Authentication Using Browser Extensions. B Ross, C Jackson, N Miyake, D Boneh, JC Mitchell USENIX Security Symposium 17, 32, 2005	567	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	564	2006
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	505	2010
Text-based CAPTCHA strengths and weaknesses E Bursztein, M Martin, J Mitchell Proceedings of the 18th ACM conference on Computer and communications …, 2011	476	2011
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	410	1989
Type systems for programming languages JC Mitchell Formal Models and Semantics, 365-458, 1990	408	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	405	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	396	2009
Undecidability of bounded security protocols J Mitchell, A Scedrov, N Durgin, P Lincoln Workshop on formal methods and security protocols, 1999	380	1999
Security Analysis and Improvements for IEEE 802.11 i C Mitchell, C He The 12th Annual Network and Distributed System Security Symposium (NDSS'05 …, 2005	372	2005
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	371	1999

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs