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.

M
Computer Science
Advanced Malware Detection Techniques
Information and Cyber Security
Network Security and Intrusion Detection
+2
D
Artificial Intelligence (ai)
Operating Systems & Networking (osnt)
Programming Systems (ps)
Security (sec)
+5
N
Database Management Systems (dbms)
Operating Systems & Networking (osnt)
Distributed Systems and Fault Tolerance
Advanced Data Storage Technologies
+3
R
Computer Architecture & Engineering (arc)
Operating Systems & Networking (osnt)
Programming Systems (ps)
Software System Performance and Reliability
+4
R
Operating Systems & Networking (osnt)
Security (sec)
Cryptography and Data Security
Privacy-Preserving Technologies in Data
+3
B
Advanced Data Storage Technologies
Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
R
Formal Methods
Program Analysis & Verification
Systems & Networking
Parallel Computing and Optimization Techniques
+4
Y
Software Engineering
Systems & Networking
Theoretical Computer Science
Distributed Systems and Fault Tolerance
+4
A
Alex Summers

Associate Head of Grad Affairs & Professor

Computer Science

University of British Columbia

Formal Methods
Program Analysis & Verification
Programming Languages
Software Engineering
+5
A
Security & Privacy
Systems & Networking
Security and Verification in Computing
COVID-19 Digital Contact Tracing
+3
R
Program Analysis & Verification
Programming Languages
Logic, Programming, and Type Systems
Software Engineering Research
+3
R
Abstract Interpretation
History of Computing
Logic in Computer Science
Program Analysis and Verification
+7
C
Computer Security
Research Ethics
Reverse Engineering
Software Protection
+5
B
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
R
Biomedical Device Security
Cloud Security
Database Security
Digital Forensics
+9
T
Embedded Systems Design Techniques
Interconnection Networks and Systems
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
C
Advanced Malware Detection Techniques
Security and Verification in Computing
Software Testing and Debugging Techniques
B
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
Y
Advanced Malware Detection Techniques
Formal Methods in Verification
Security and Verification in Computing
Software Engineering Research
+1
T
Advanced Software Engineering Methodologies
Formal Methods in Verification
Security and Verification in Computing
Service-Oriented Architecture and Web Services
+1
H
Computer Security
Machine Learning
Programming Languages and Software Engineering
Systems and Networks
+5
M
Architecture, Compilers, and Embedded Systems
Programming Languages and Software Engineering
Distributed Systems and Fault Tolerance
Security and Verification in Computing
+1
C
Architecture, Compilers, and Embedded Systems
Computer Security
Programming Languages and Software Engineering
Systems and Networks
+5
Z
Zhiyun Qian

Professor & Vice Chair for Graduate Education

Computer Science

University of California, Riverside

Computer Security
Systems and Networks
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
+3
Previous
1

...

35

...

8
Next