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.

H
Advanced Malware Detection Techniques
Blockchain Technology Applications and Security
Formal Methods in Verification
Privacy, Security, and Data Protection
+1
S
Application Security
Compiler Optimizations
Compilers
Domain-Specific Programming Languages
+11
M
Dynamic Languages
Programming Languages
Type Systems
Logic, Programming, and Type Systems
+4
M
Megumi Ando

Minnie McNeal Kenny Assistant Professor

Computer Science

Tufts University

Cryptography and Data Security
Distributed Systems and Fault Tolerance
Internet Traffic Analysis and Secure E-Voting
Privacy-Preserving Technologies in Data
+1
M
Advanced Malware Detection Techniques
Physical Unclonable Functions (pufs) and Hardware Security
Quantum Information and Cryptography
Radiation Effects in Electronics
+1
J
Parallel Computing and Optimization Techniques
Radiation Effects in Electronics
Real-Time Systems Scheduling
Security and Verification in Computing
+1
N
Access Control and Trust
Blockchain Technology Applications and Security
Cloud Data Security Solutions
Cryptography and Data Security
+1
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
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
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
Cryptography and Data Security
Security and Verification in Computing
+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
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

Professor, 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

...

46

...

8
Next