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.

F
Blockchain Technology Applications and Security
Cloud Computing and Resource Management
Cloud Data Security Solutions
Cryptography and Data Security
+1
Z
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
C
Cloud Data Security Solutions
Complexity and Algorithms in Graphs
Cryptography and Data Security
Privacy-Preserving Technologies in Data
+1
B
Blockchain Technology Applications and Security
Cloud Data Security Solutions
Cryptographic Implementations and Security
Cryptography and Data Security
+1
S
Cloud Computing and Resource Management
Parallel Computing and Optimization Techniques
Particle Accelerators and Free-Electron Lasers
Physical Unclonable Functions (pufs) and Hardware Security
+1
P
Attacks and Countermeasures Against Faults and Side-Channel Analysis
Cryptographic Engineering
Efficient Realizations of Secure Hardware and Software
Hardware Security
+7
K
Koksal Mus

Assistant Professor of Teaching, Electrical & Computer Engineering

Department of Electrical and Computer Engineering

Worcester Polytechnic Institute

Applied Security
Computer Engineering
Computer Security
Cryptography
+8
R
Robert Walls

Associate Professor, Computer Science, Program Director, Cybersecurity, Computer Science

Computer Science

Worcester Polytechnic Institute

Compiler-Based Defenses for Embedded Microcontrollers
Performance Optimization
Reverse-Engineering Proprietary GPU Microarchitectures
Security and Privacy for Deep Learning
+6
N
Advanced Malware Detection Techniques
Cryptography and Data Security
Network Security and Intrusion Detection
Privacy-Preserving Technologies in Data
+1
K
Advanced Data Storage Technologies
Embedded Systems Design Techniques
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
E
Advanced Malware Detection Techniques
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Security and Verification in Computing
+1
M
Advanced Malware Detection Techniques
Legal and Regulatory Analysis
Linguistic, Cultural, and Literary Studies
Military Technology and Strategies
+1
G
Advanced Data Storage Technologies
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
S
Compiling
Proof Assistants
Logic, Programming, and Type Systems
Formal Methods in Verification
+3
M
Advanced Data Storage Technologies
Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
P
Advanced Malware Detection Techniques
Adversarial Robustness in Machine Learning
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
S
Advanced Malware Detection Techniques
Formal Methods in Verification
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
T
Advanced Data Storage Technologies
Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
E
Advanced Malware Detection Techniques
Blockchain Technology Applications and Security
Cryptography and Data Security
Logic, Programming, and Type Systems
+1
G
Gradual Typing: Languages Which Combine Typed and Untyped Code
Just-In-Time Compilation: Compilers Which Compile Code While It's Running, Allowing for Advanced Profiling
Languages and Systems, in Particular Cs442 (programming Languages) and Cs241 (foundations of Sequential Programming)
Security and Verification in Computing
+4
A
Operating Systems, Distributed Systems, and Storage
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Advanced Data Storage Technologies
+2
P
Patrick Lam

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software Engineering Research
+1
W
Advanced Authentication Protocols Security
Blockchain Technology Applications and Security
Distributed Systems and Fault Tolerance
Mobile Crowdsensing and Crowdsourcing
+1
W
Werner Dietl

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
+1
Previous
1

...

57

...

15
Next