Sotabase

Career

· Faculty Director, Stanford d.school / Hasso Plattner Institute of Design, Stanford University2023–
· Department Chair, Computer Science, Stanford University2019–2023
· Vice Provost for Teaching and Learning, Stanford University2015–2018
· Vice Provost for Online Learning, Stanford University2012–2015
· Professor, Stanford University1988–2023
· Member Technical Staff, Bell Laboratories1984–1988
· SM, PhD in Computer Science, Massachusetts Institute of Technology1980–1984
· BS in Mathematics, Stanford University1976–1978

Publications (390)

Design of a role-based trust-management framework
Proceedings 2002 IEEE Symposium on Security and Privacy · 2002
861
cited
Architectural support for copy and tamper resistant software
SIGP · 2000
686
cited
Third-Party Web Tracking: Policy and Technology
IEEE Symposium on Security and Privacy · 2012
579
cited
Client-Side Defense Against Web-Based Identity Theft
Network and Distributed System Security Symposium · 2004
534
cited
Privacy and contextual integrity: framework and applications
IEEE Symposium on Security and Privacy · 2006
500
cited
Robust defenses for cross-site request forgery
Conference on Computer and Communications Security · 2008
487
cited
Automated analysis of cryptographic protocols using Mur/spl phi/
Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097) · 1997
484
cited
Stronger Password Authentication Using Browser Extensions
USENIX Security Symposium · 2005
459
cited
Abstract types have existential type
ACM Transactions on Programming Languages and Systems · 1988
453
cited
Concepts in programming languages
2002
371
cited
State of the Art: Automated Black-Box Web Application Vulnerability Testing
IEEE Symposium on Security and Privacy · 2010
367
cited
Distributed credential chain discovery in trust management
Journal of computing and security · 2003
362
cited
F-bounded polymorphism for object-oriented programming
Conference on Functional Programming Languages and Computer Architecture · 1989
362
cited
Text-based CAPTCHA strengths and weaknesses
Conference on Computer and Communications Security · 2011
362
cited
Decision problems for propositional linear logic
Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science · 1990
328
cited
RT: a Role-based Trust-management framework
Proceedings DARPA Information Survivability Conference and Exposition · 2003
310
cited
DATALOG with Constraints: A Foundation for Trust Management Languages
International Symposium on Practical Aspects of Declarative Languages · 2003
299
cited
How Good Are Humans at Solving CAPTCHAs? A Large Scale Evaluation
IEEE Symposium on Security and Privacy · 2010
287
cited
A meta-notation for protocol analysis
Proceedings of the 12th IEEE Computer Security Foundations Workshop · 1999
282
cited
Operations on records
Mathematical Structures in Computer Science · 1989
280
cited
Sotabase