GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Security and Verification in Computing

Security and Verification in Computing

354 faculty research Security and Verification in Computing on GradNova.

A
Applied Cryptography
Internet of Things Security
Medical Device Security
Secure Applications
+5
Y
Yinzhi Cao

Technical Director of the JHU Information Security Institute and Associate Professor

Computer Science

Johns Hopkins University

Security and Privacy of Machine Learning
Web, Mobile, and Payment Systems Security
Advanced Malware Detection Techniques
Security and Verification in Computing
+3
A
Advanced Malware Detection Techniques
IoT and Edge/fog Computing
Network Security and Intrusion Detection
Security and Verification in Computing
+1
S
Stephen Chong

Director of Undergraduate Studies, Computer Science

Computer Science

Harvard University

Advanced Malware Detection Techniques
Cloud Data Security Solutions
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
+1
M
Michael Specter

Assistant Professor in SCP, Joint with the School…

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques
E-Government and Public Services
Security and Verification in Computing
Social Media and Politics
+1
B
Brendan Saltaformaggio

Associate Professor in SCP, Joint with the School…

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques
Digital and Cyber Forensics
Network Security and Intrusion Detection
Security and Verification in Computing
+1
M
Advanced Image and Video Retrieval Techniques
Handwritten Text Recognition Techniques
Information Retrieval and Search Behavior
Parallel Computing and Optimization Techniques
+1
M
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
A
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
W
Wenke Lee

USG Regents Professor, and John P. Imlay Jr.…

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques
Anomaly Detection Techniques and Applications
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
V
Vladimir Kolesnikov

Professor and SCP Senior Associate Chair, Joint…

College of Computing

Georgia Institute of Technology

Complexity and Algorithms in Graphs
Cryptographic Implementations and Security
Cryptography and Data Security
Privacy-Preserving Technologies in Data
+1
T
Taesoo Kim

Professor and Director of GTS3, Joint with the…

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques
Cloud Data Security Solutions
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
D
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Cryptography and Data Security
Physical Unclonable Functions (pufs) and Hardware Security
+1
A
Animesh Garg

Stephen Fleming Early Career Asisstant Professor

College of Computing

Georgia Institute of Technology

Advanced Neural Network Applications
Adversarial Robustness in Machine Learning
Anomaly Detection Techniques and Applications
Human Pose and Action Recognition
+1
V
Formal Methods in Verification
Security and Verification in Computing
Software Engineering Research
Software Testing and Debugging Techniques
+1
B
Computer Networks
Computer Security
Provenance
Systems
+5
Q
Qiang Zeng

Associate Professor, Department of Computer Science

Computer Science

George Mason University

Computer Systems Security, With a Focus on the Internet of Things and Mobile Computing
Advanced Malware Detection Techniques
Security and Verification in Computing
User Authentication and Security Systems
+2
L
Lannan (Lisa) Luo

Associate Professor, Department of Computer Science

Computer Science

George Mason University

Software and Systems Security, Including Software Analysis and Verification, Vulnerability Discovery, IoT Security, Mobile Security, and Software Engineering
Advanced Malware Detection Techniques
Software Testing and Debugging Techniques
Software Engineering Research
+2
E
Evgenios Kornaropoulos

Assistant Professor, Department of Computer Science

Computer Science

George Mason University

Applied Cryptography
Computer Security
Cryptography and Data Security
Privacy-Preserving Technologies in Data
+3
M
Embedded Systems Design Techniques
Interconnection Networks and Systems
Low-Power High-Performance VLSI Design
Parallel Computing and Optimization Techniques
+1
D
Danfeng Zhang

Cue Family Associate Professor of Computer Science

Computer Science

Duke University

Advanced Malware Detection Techniques
Cryptography and Data Security
Physical Unclonable Functions (pufs) and Hardware Security
Privacy-Preserving Technologies in Data
+1
M
Matthew Lentz

Assistant Professor of Computer Science

Computer Science

Duke University

Cloud Computing and Resource Management
COVID-19 Digital Contact Tracing
IoT and Edge/fog Computing
Privacy, Security, and Data Protection
+1
S
Sean W. Smith

International Paper Professorship in Honor of Andrew C. Sigler '53 Tuck '56 Professor of Computer Science

Computer Science

Dartmouth College

Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
Advanced Malware Detection Techniques
Cryptography and Data Security
+2
O
Advanced Malware Detection Techniques
Cybersecurity and Cyber Warfare Studies
Information and Cyber Security
Network Security and Intrusion Detection
+1
Previous
1

...

121415
Next