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.

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
A
Aiman Hanna

Senior Lecturer, Computer Science and Software Engineering

Computer Science

Concordia University

Advanced Malware Detection Techniques
Digital and Cyber Forensics
Security and Verification in Computing
Software Engineering Research
+1
J
Computer Networks
Computer Security
Distributed Systems
Operating Systems
+7
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, Director of the W&M Cybersecurity Center

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
Cryptography and Data Security
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
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
+1
F
Advanced Malware Detection Techniques
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software Engineering Research
+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
F
Access Control and Trust
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+2
J
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
L
Advanced Malware Detection Techniques
Security and Verification in Computing
User Authentication and Security Systems
Formal Methods in Verification
+2
V
Access Control and Trust
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
+1
J
Jeannette M Wing

Executive Vice President for Research, Professor of Computer Science

Computer Science

Columbia University

Algorithmic Fairness
Data Mining
Formal Methods
Probabilistic Programming
+6
Previous
1

...

1315
Next