GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Security and Verification in Computing

Security and Verification in Computing

187 faculty research Security and Verification in Computing on GradNova.

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
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
Anomaly Detection Techniques and Applications
Human Pose and Action Recognition
Security and Verification in Computing
+1
V
Formal Methods in Verification
Security and Verification in Computing
Software Engineering Research
Software Testing and Debugging Techniques
+1
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
M
Embedded Systems Design Techniques
Interconnection Networks and Systems
Low-Power High-Performance VLSI Design
Parallel Computing and Optimization Techniques
+1
D
Danfeng Zhang

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
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
C
Christophe Hauser

Assistant Professor Faculty Member, Institute for Security, Technology and Society

Computer Science

Dartmouth College

Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Software Engineering Research
+1
S
Sergey Bratus

Dartmouth College Distinguished Professor in Cyber Security, Technology, and Society Associate Professor of Computer Science

Computer Science

Dartmouth College

Advanced Malware Detection Techniques
Information and Cyber Security
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
S
Computer Architecture
Computer Security
High Performance Computing
VLSI Design
+5
R
Ronghui Gu

Tang Family Associate Professor of Computer Science

Computer Science

Columbia University

Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Software System Performance and Reliability
Software-Defined Networks and 5G
+4
G
Advanced Malware Detection Techniques
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Security and Verification in Computing
+1
A
Adwait Nadkarni

Class of 1953 Associate Professor

Computer Science

William & Mary

Advanced Malware Detection Techniques
Digital and Cyber Forensics
Privacy, Security, and Data Protection
Security and Verification in Computing
+1
S
Advanced Malware Detection Techniques
Cloud Data Security Solutions
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
K
Kevin Coogan

Associate Teaching Professor, Undergraduate Director

Computer Science

William & Mary

Advanced Malware Detection Techniques
Energy Efficient Wireless Sensor Networks
Indoor and Outdoor Localization Technologies
Security and Verification in Computing
+1
Z
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Internet Traffic Analysis and Secure E-Voting
Radar Systems and Signal Processing
+1
R
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Cryptography and Data Security
Distributed Systems and Fault Tolerance
+1
R
Cryptographic Implementations and Security
Network Security and Intrusion Detection
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
B
Embedded Systems Design Techniques
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
S
Advanced Software Engineering Methodologies
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
D
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Software Engineering Research
+1
L
Advanced Malware Detection Techniques
Information and Cyber Security
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
Previous
1

...

68
Next