Sotabase

Career

· Visiting Fellow, SRI (Current)2015–
· Professor, University of Illinois at Urbana-Champaign2004–

Publications (0)

In handbook of theoretical computer science
1990
471
cited
Conference on Computer and Communications Security · 2017
396
cited
IEEE Symposium on Security and Privacy · 2019
369
cited
IEEE Symposium on Security and Privacy · 2014
335
cited
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics · 1991
333
cited
333
cited
ACM SIGPLAN International Conference on Functional Programming · 1998
311
cited
Network and Distributed System Security Symposium · 2020
271
cited
ACM Computing Surveys · 2014
260
cited
Network and Distributed System Security Symposium · 2018
201
cited
193
cited
Information and Computation · 1991
190
cited
Proceedings of the VLDB Endowment · 2017
166
cited
Sotabase