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.

Y
Advanced Graph Neural Networks
Advanced Malware Detection Techniques
Adversarial Robustness in Machine Learning
Graph Theory and Algorithms
+1
B
Benjamin Wilhite

Director of Undergraduate Studies, Chemical Engineering; Associate Professor, Chemical Engineering

Artie McFerrin Department of Chemical Engineering

Texas A&M University

Digital Transformation in Industry
Security and Verification in Computing
Smart Grid Security and Resilience
B
Applied Cryptography
Computer Security
Security and Verification in Computing
Cryptographic Implementations and Security
+3
D
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
H
Computer Networks
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
+2
A
Computer Networks
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Internet Traffic Analysis and Secure E-Voting
+2
I
Irfan Ahmed, Ph.D.

Engineering Foundation Professor | Computer Science

Computer Science

Virginia Commonwealth University

Computer Security
Digital Forensics
Embedded Systems
Malware
+5
S
Advanced Memory and Neural Computing
Metamaterials and Metasurfaces Applications
Parallel Computing and Optimization Techniques
Radiation Effects in Electronics
+1
A
Advanced Data Storage Technologies
Advanced Malware Detection Techniques
Radiation Effects in Electronics
Security and Verification in Computing
+1
J
Computing Education
Operating & Distributed Systems
Programming Languages
Distributed Systems and Fault Tolerance
+4
C
Christian Skalka

Professor, Department of Computer Science • Chair, Department of Computer Science

Computer Science

University of Vermont

Programming Languages and Type Theory
Security and Privacy in Distributed Systems
Security and Verification in Computing
Logic, Programming, and Type Systems
+3
M
Advanced Malware Detection Techniques
Information and Cyber Security
Network Security and Intrusion Detection
Security and Verification in Computing
+1
D
David Lie

Professor Electrical & Computer Engineering

Computer Science

University of Toronto

Computer Networks
Security and Verification in Computing
Advanced Malware Detection Techniques
Software Testing and Debugging Techniques
+2
K
Kuei (Jack) Sun

Assistant Professor, Teaching Stream

Computer Science

University of Toronto

Advanced Data Storage Technologies
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Peer-To-Peer Network Technologies
+1
P
Paul He

Assistant Professor, Teaching Stream

Computer Science

University of Toronto

Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Security and Verification in Computing
+1
G
Computer Architecture
Fault-Injection Attacks
Fuzzing
Hardware Security
+12
T
Systems
Cryptography and Data Security
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
+2
F
Blockchain
Programming Languages
Software Engineering
Software Reliability
+7
T
Tatyana Ryutov

Associate Professor of Computer Science Practice

Computer Science

University of Southern California

Access Control and Trust
Cryptography and Data Security
Information and Cyber Security
Network Security and Intrusion Detection
+1
X
Cloud Computing
Computer Security
Cyber Physical Systems
Human Aspects of Computing
+6
J
Jay Ligatti

Associate Dean of Faculty Affairs, Professor

Computer Science

University of South Florida

Authentication
Enforceability Theory
Injection Attacks
Policy Composition
+9
K
Emerging OS Security
IoT Security
Privacy Policy Analysis
Advanced Malware Detection Techniques
+4
J
Advanced Data Storage Technologies
Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
F
Advanced Memory and Neural Computing
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
2

...

15
Next