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.

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
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Security and Verification in Computing
Software Reliability and Analysis Research
+1
H
Cloud Computing
Computer Networks
Computer Systems
File and Storage Systems
+5
Z
Automating Courseware Development
Programming Languages
Systems Programming
Radiation Effects in Electronics
+4
A
Binary Reverse Engineering
Memory Forensics
Software Security
Virtualization-Based Security
+5
K
Kartik Gopalan

Associate Dean for Research, Corporate Engagement, and Entrepreneurship; Professor, School of Computing

Computer Science

Binghamton University

Cloud Computing
Computer Networks
Computer Security
Distributed Systems
+7
R
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Physical Unclonable Functions (pufs) and Hardware Security
Rfid Technology Advancements
+1
Y
Cryptographic Implementations and Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
M
Additive Manufacturing and 3D Printing Technologies
Additive Manufacturing Materials and Processes
Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
+1
G
<ul><li>security Analytics and Big Data Driven Security Intelligence&nbsp;</li><li>formal Models for Computer Security</li><li>network and Distributed Systems Security</li><li>vulnerability and Risk Assessment</li><li>cyber Crime Analysis</li></ul><p>his Research Has Been Supported by National Science Foundation
Allstate
Bank of America
Cisco
+15
Previous
1

...

14