Martin Abadi

Martin Abadi

Research Scientist, Google, and Professor Emeritus, UC Santa Cruz
Verified email at cs.ucsc.edu
Cited by 120150
security programming languages and systems specification and verification
Zhu Han

Zhu Han

University of Houston
Verified email at uh.edu
Cited by 90477
Game Theory Wireless Networking Security Data Science Smart Grid
Matei Zaharia

Matei Zaharia

UC Berkeley and Databricks
Verified email at berkeley.edu
Cited by 82504
Distributed Systems Machine Learning Databases Security
Adrian Perrig

Adrian Perrig

Professor of Computer Science at ETH Zürich, Adjunct Professor of ECE at CMU, Cylab …
Verified email at inf.ethz.ch
Cited by 78471
Security Networking Internet Security Internet Architecture Computer Security
Vern Paxson

Vern Paxson

Professor, EECS, University of California, Berkeley
Verified email at berkeley.edu
Cited by 74933
Networking Security Measurement
Frans Kaashoek

Frans Kaashoek

Massuchesetts Institute of Technology (MIT)
Verified email at mit.edu
Cited by 64519
Computer Systems Operating systems Distributed Systems Security
mohammadali hosseini

mohammadali hosseini

video editir,syber scurity
Verified email at amozeshhelal.ir
Cited by 62373
VFX edit security
Sushil Jajodia

Sushil Jajodia

University Professor, BDM International Professor, and Director, Center for Secure …
Verified email at gmu.edu
Cited by 56081
security privacy database databases distributed systems
Christopher Kruegel

Christopher Kruegel

University of California, Santa Barbara and VMware, Inc.
Verified email at cs.ucsb.edu
Cited by 52406
Computer Security Security
Somesh Jha

Somesh Jha

Lubar Chair of Computer Science, University of Wisconsin
Verified email at cs.wisc.edu
Cited by 52239
Trustworthy Machine Learning Security Formal methods Programming Languages
1 - 10