JC

John C. Mitchell

Stanford University 0000-0002-0024-860X

494

Publications

24,408

Citations

86

h-index

271

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (328)
Book Chapter (80)
Preprint (35)
Book (24)
Review (13)

Filter by Open Access Type

Open Access (119)
Closed Access (373)

Filter by Authors

John C. Mitchell (492)
Anupam Datta (37)
Andre Scedrov (33)
Ante Đerek (23)
Patrick Lincoln (20)

Filter by Topics

Logic, programming, and type systems (86)
Security and Verification in Computing (65)
Advanced Authentication Protocols Security (59)
User Authentication and Security Systems (57)
Eating Disorders and Behaviors (53)