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.

F
Access Control and Trust
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
+2
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
L
Advanced Malware Detection Techniques
Security and Verification in Computing
User Authentication and Security Systems
Formal Methods in Verification
+2
V
Access Control and Trust
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
+1
D
Advanced Data Storage Technologies
Advanced Malware Detection Techniques
Cloud Computing and Resource Management
Parallel Computing and Optimization Techniques
+1
B
Advanced Malware Detection Techniques
Cloud Data Security Solutions
Cryptography and Data Security
Distributed Systems and Fault Tolerance
+1
L
Advanced Malware Detection Techniques
Information and Cyber Security
Network Security and Intrusion Detection
Security and Verification in Computing
+1
A
Advanced Malware Detection Techniques
Information and Cyber Security
Network Security and Intrusion Detection
Security and Verification in Computing
+1
D
Advanced Malware Detection Techniques
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Risk and Safety Analysis
+1
N
Nikos Triandopoulos

Visiting Associate Professor of Computer Science

Computer Science

Brown University

Algorithms and Theory
Computer Security
Machine Learning
Security and Cryptography
+5
K
Advanced Database Systems and Queries
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
E
Eran Tromer

Professor and Director of Graduate Studies

Computer Science

Boston University

Complexity and Algorithms in Graphs
Cryptographic Implementations and Security
Cryptography and Data Security
Physical Unclonable Functions (pufs) and Hardware Security
+1
A
Amittai Aviram

Associate Professor of the Practice

Computer Science

Boston College

Cloud Computing and Resource Management
Distributed and Parallel Computing Systems
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
M
Marine and Coastal Ecosystems
Marine Biology and Ecology Research
Marine Toxins and Detection Methods
Microbial Community Ecology and Physiology
+6
H
Cloud Computing
Computer Networks
Computer Systems
File and Storage System
+5
A
Binary Reverse Engineering
Memory Forensics
Software Security
Virtualization-Based Security
+5
R
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Physical Unclonable Functions (pufs) and Hardware Security
Rfid Technology Advancements
+1
Y
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
G
Access Control and Trust
Advanced Malware Detection Techniques
Cryptography and Data Security
Network Security and Intrusion Detection
+1
Previous
1

...

7