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.

J
Jim Alves-Foss

University Distinguished Professor

Computer Science

University of Idaho

Computer Security
Cryptography
Dependable Systems
Formal Semantics
+6
D
Information and Cyber Security
Network Security and Intrusion Detection
Security and Verification in Computing
Smart Grid Security and Resilience
+1
T
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Semigroups and Automata Theory
+1
L
Advanced Malware Detection Techniques
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
Security and Verification in Computing
+1
F
Blockchain Technology Applications and Security
Cloud Computing and Resource Management
Cloud Data Security Solutions
Cryptography and Data Security
+1
C
Cloud Data Security Solutions
Complexity and Algorithms in Graphs
Cryptography and Data Security
Privacy-Preserving Technologies in Data
+1
B
Blockchain Technology Applications and Security
Cloud Data Security Solutions
Cryptographic Implementations and Security
Cryptography and Data Security
+1
S
Cloud Computing and Resource Management
Parallel Computing and Optimization Techniques
Particle Accelerators and Free-Electron Lasers
Physical Unclonable Functions (pufs) and Hardware Security
+1
K
Cryptographic Implementations and Security
Cryptography and Data Security
Internet Traffic Analysis and Secure E-Voting
Quantum Computing Algorithms and Architecture
+1
R
Performance Optimization
Systems Security
Advanced Malware Detection Techniques
Security and Verification in Computing
+3
K
Advanced Data Storage Technologies
Distributed and Parallel Computing Systems
Embedded Systems Design Techniques
Parallel Computing and Optimization Techniques
+1
E
Advanced Malware Detection Techniques
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Security and Verification in Computing
+1
M
Murat Kantarcioglu

Professor and Faculty Fellow, Commonwealth Cyber Initiative

Computer Science

Virginia Tech

Access Control and Trust
Advanced Malware Detection Techniques
Diamond and Carbon-Based Materials Research
Geophysical Methods and Applications
+1
G
Advanced Data Storage Technologies
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
P
Advanced Malware Detection Techniques
Adversarial Robustness in Machine Learning
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
S
Somesh Jha

Sheldon B. and Marianne S. Lubar Chair and Professor

Computer Science

University of Wisconsin–Madison

Advanced Malware Detection Techniques
Formal Methods in Verification
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
T
Advanced Data Storage Technologies
Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
E
Advanced Malware Detection Techniques
Blockchain Technology Applications and Security
Cloud Data Security Solutions
Cryptography and Data Security
+1
A
Security and Verification in Computing
Software Reliability and Analysis Research
Software Testing and Debugging Techniques
G
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
A
Advanced Data Storage Technologies
Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
P
Patrick Lam

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software Engineering Research
+1
W
Werner Dietl

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
Y
Advanced Malware Detection Techniques
Digital and Cyber Forensics
Network Security and Intrusion Detection
Security and Verification in Computing
+1
2

...

8
Next