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.

Z
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
+4
F
Augmented, Virtual & Mixed Reality
Human-Computer Interaction
Security & Privacy
Privacy, Security, and Data Protection
+4
D
Architecture & Parallel Computing
Operating & Distributed Systems
Security & Privacy
Cryptographic Implementations and Security
+2
D
Computing Education Research
Programming Languages
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
+3
P
Security / Privacy (cryptography)
Cryptography and Data Security
Cryptographic Implementations and Security
Privacy-Preserving Technologies in Data
+2
S
Computer Architecture
Programming Languages and Computer Systems With a Focus On: Consistency Models, Coherence Protocols, Replication Protocols, Language Support for Microarchitecture Design, Correct-By-Construction System Design.
Software Testing and Debugging Techniques
Advanced Malware Detection Techniques
+3
E
High-Performance Computing (scalable Systems)
Programming Languages (formal Verification and Testing)
Security / Privacy (systems Security)
Systems (networking, Scalable Systems)
+5
A
Systems (operating Systems)
Security and Verification in Computing
Cryptography and Data Security
Coding Theory and Cryptography
+2
F
Feng Qian

Associate Professor of Electrical and Computer Engineering and Computer Science

Computer Science

University of Southern California

Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Security and Verification in Computing
T
Access Control and Trust
Cloud Data Security Solutions
Security and Verification in Computing
W
Distributed Systems and Fault Tolerance
Embedded Systems Design Techniques
Interconnection Networks and Systems
Parallel Computing and Optimization Techniques
+1
J
Advanced Data Storage Technologies
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
J
Advanced Data Storage Technologies
Embedded Systems Design Techniques
Numerical Methods and Algorithms
Parallel Computing and Optimization Techniques
+1
C
Applied Formal Methods for Software Security
Computer and Hardware Security
Cryptographic Implementations and Security
Security and Verification in Computing
+1
M
Applied Cryptography
Computer and Network Security
Distributed Systems
Distributed Systems and Fault Tolerance
+4
K
Computer Science Education and Pedagogy
Hardware Security
Symbolic Execution
Security and Verification in Computing
+4
D
Computer Security
Concurrent Programming
File Systems
Operating Systems
+6
A
Applied Cryptography
Computer Security
Security and Verification in Computing
Cryptographic Implementations and Security
+3
S
Applied Cryptography
Computer Security
Privacy
Cryptography and Data Security
+4
V
Vassil Roussev

Professor, Department Chair, Director of UNO Cyber Center

Computer Science

University of New Orleans

Advanced Data Storage Technologies
Advanced Malware Detection Techniques
Digital and Cyber Forensics
Digital Media Forensic Detection
+1
D
Advanced Malware Detection Techniques
Formal Methods in Verification
Security and Verification in Computing
Software Engineering Research
+1
N
Cybersecurity and Network Systems
Advanced Data Storage Technologies
Advanced Malware Detection Techniques
Security and Verification in Computing
+2
R
Rohit Chadha

Director, Cybersecurity Center at Mizzou Associate Professor

Computer Science

University of Missouri

Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Privacy-Preserving Technologies in Data
+1
A
Anys Bacha

Associate Professor, Computer and Information Science

Computer Science

University of Michigan–Dearborn

Computer Security
Computing and Networks
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
+3
Previous
13

...

8
Next