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.

R
Cloud Computing and Resource Management
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software System Performance and Reliability
+1
K
Advanced Malware Detection Techniques
Cloud Data Security Solutions
Information and Cyber Security
Network Security and Intrusion Detection
+1
A
Distributed Systems and Fault Tolerance
Interconnection Networks and Systems
Optimization and Search Problems
Parallel Computing and Optimization Techniques
+1
F
Security and Privacy
Security and Privacy > Ai/ml Security
Security and Privacy > Human, Pollicy, and Societal Security
Security and Privacy > Software Security
+5
M
Michael (Eonsuk) Shin, Ph.D.

Associate Professor and Strategic Planning Coordinator

Computer Science

Texas Tech University

Advanced Malware Detection Techniques
Advanced Software Engineering Methodologies
Security and Verification in Computing
Service-Oriented Architecture and Web Services
+1
D
Advanced Malware Detection Techniques
Advanced Software Engineering Methodologies
Information and Cyber Security
Security and Verification in Computing
+1
D
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Network Traffic and Congestion Control
Security and Verification in Computing
+1
J
Jeff Huang

Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Advanced Malware Detection Techniques
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
J
Juan Garay

Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Blockchain Technology Applications and Security
Distributed Systems and Fault Tolerance
Security and Verification in Computing
Cryptography and Data Security
+2
M
Marcus Botacin

Assistant Professor, Computer Science & Engineering

Computer Science

Texas A&M University

Advanced Malware Detection Techniques
Anomaly Detection Techniques and Applications
Network Security and Intrusion Detection
Security and Verification in Computing
+1
D
Dominic Letarte

Associate Professor of Instruction

Computer Science

Temple University

Instruction
Security and Verification in Computing
Web Application Security Vulnerabilities
Advanced Malware Detection Techniques
+2
D
Dave Naumann

Professor and Associate Dean for Research and Faculty Development in the School of Computing

Computer Science

Stevens Institute of Technology

Advanced Malware Detection Techniques
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
E
Eric Koskinen

Charles Berendsen Chair Associate Professor

Computer Science

Stevens Institute of Technology

Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
W
Access Control and Trust
Advanced Malware Detection Techniques
Security and Verification in Computing
Software Testing and Debugging Techniques
+1
D
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
G
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Smart Grid Security and Resilience
+1
T
Advanced Malware Detection Techniques
Security and Verification in Computing
Software Engineering Research
Software Testing and Debugging Techniques
+1
D
Dawson Engler

Associate Professor of Computer Science and of Electrical Engineering

Computer Science

Stanford University

Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software Engineering Research
Software Reliability and Analysis Research
+1
M
Mohammad Tayebi

Assistant Professor of Professional Practice

Computer Science

Simon Fraser University

Information and Cyber Security
Software Engineering Research
Software System Performance and Reliability
Auditing, Earnings Management, Governance
+1
S
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Internet Traffic Analysis and Secure E-Voting
Security and Verification in Computing
+1
S
Formal Methods in Verification
Numerical Methods and Algorithms
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
J
Advanced Malware Detection Techniques
Cloud Computing and Resource Management
Cloud Data Security Solutions
Network Security and Intrusion Detection
+1
D
David Walker

Gordon Y.S. Wu Professor in Engineering, Director of Undergraduate Studies

Computer Science

Princeton University

Programming Languages & Compilers
Software-Defined Networks and 5G
Logic, Programming, and Type Systems
Formal Methods in Verification
+2
A
Security & Privacy
Systems & Networking
Advanced Malware Detection Techniques
Security and Verification in Computing
+3
Previous
1

...

1012

...

15
Next