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.

R
Cyber Physical System Security
Ubiquitous Systems Security
Advanced Malware Detection Techniques
Security and Verification in Computing
+3
M
Advanced Malware Detection Techniques
Information and Cyber Security
Network Security and Intrusion Detection
Security and Verification in Computing
+1
S
Application Security and Memory Analysis
Cyber Defense With Special Focus on Cyber Forensics Mobile Security and Forensics
Digital and Cyber Forensics
Advanced Malware Detection Techniques
+3
T
Electronic Health Records Systems
Information and Cyber Security
Model-Driven Software Engineering Techniques
Parallel Computing and Optimization Techniques
+1
S
Cryptographic Implementations and Security
Integrated Circuits and Semiconductor Failure Analysis
Neuroscience and Neural Engineering
Physical Unclonable Functions (pufs) and Hardware Security
+1
T
Tyler K Bletsch

Associate Professor of the Practice in the Department of Electrical and Computer Engineering

Department of Electrical and Computer Engineering

Duke University

Datacenter Efficiency
Project-Oriented Education
Robotics
Software Security
+5
S
Applied Cryptography
Operating Systems
Security and Privacy
Software Engineering
+5
M
Formal Methods
Programming Languages
Security and Privacy
Usable Security
+5
J
Adversarial Robustness in Machine Learning
Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
N
Advanced Malware Detection Techniques
Internet Traffic Analysis and Secure E-Voting
Ipv6, Mobility, Handover, Networks, Security
Network Security and Intrusion Detection
+1
M
Manuel Egele, PhD

Associate Chair of Doctoral Programs (ECE), Associate Professor (ECE)

Department of Electrical and Computer Engineering

Boston University

Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Software Testing and Debugging Techniques
+1
Y
FPGA-Based Virtualization System and Security
Hardware-Based Accelerator Design
Hardware-Oriented Security and Trust
Trustworthy AI Acceleration and Optimization
+6
M
Cryptographic Implementations and Security
Dental Implant Techniques and Outcomes
Dental Radiography and Imaging
Radiation Effects in Electronics
+1
Y
Yadi Zhong

Assistant Professor, Electrical and Computer Engineering

Department of Electrical and Computer Engineering

Auburn University

Cryptographic Implementations and Security
Integrated Circuits and Semiconductor Failure Analysis
Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
+1
U
Ujjwal Guin

Godbold Associate Professor Electrical and Computer Engineering

Department of Electrical and Computer Engineering

Auburn University

Advanced Memory and Neural Computing
Integrated Circuits and Semiconductor Failure Analysis
Neuroscience and Neural Engineering
Physical Unclonable Functions (pufs) and Hardware Security
+1
C
Complexity and Algorithms in Graphs
Cryptographic Implementations and Security
Cryptography and Data Security
Privacy-Preserving Technologies in Data
+1
Y
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Software Testing and Debugging Techniques
+1
M
(2) Design of Hardware Security Primitives and Root-Of-Trust Techniques
(3) Quantum-Proof Crypto-Systems Design
(4) Self-Aware Polymorphous Architectures
(5) Secure Distributed and Zero-Trust Computing Systems
+8
T
Advanced Malware Detection Techniques
Security and Verification in Computing
Software Engineering Research
Software Testing and Debugging Techniques
+1
A
<p>computer Security
And Architecture</p>
Systems
Advanced Malware Detection Techniques
+4
J
Jim Alves-Foss

University Distinguished Professor

Computer Science

University of Idaho

Computer Security
Cryptography
Dependable Systems
Formal Semantics
+6
D
Information and Cyber Security
Network Security and Intrusion Detection
Security and Verification in Computing
Smart Grid Security and Resilience
+1
T
Timos Antonopoulos

Instructional Faculty, Research Scientist and Lecturer

Computer Science

Yale University

Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Semigroups and Automata Theory
+1
L
Advanced Malware Detection Techniques
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
Security and Verification in Computing
+1
Previous
1

...

46

...

15
Next