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.

S
Advanced Memory and Neural Computing
Integrated Circuits and Semiconductor Failure Analysis
Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
+1
A
Advanced Malware Detection Techniques
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
G
Advanced Malware Detection Techniques
Natural Language Processing Techniques
Security and Verification in Computing
Semantic Web and Ontologies
+1
C
Christos Dimoulas

Associate Professor of Computer Science

Computer Science

Northwestern University

Advanced Software Engineering Methodologies
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
L
Advanced Malware Detection Techniques
Digital and Cyber Forensics
Security and Verification in Computing
E
Engin Kirda

Professor, jointly appointed in Khoury College of Computer Sciences & Electrical and Computer Engineering

Department of Electrical and Computer Engineering

Northeastern University

Intrusion Detection
Malware Analysis and Detection
Reverse Engineering
Social Network Security
+6
Y
Computer Architecture
Design Automation
Embedded Systems
Hardware-Oriented Security
+6
K
Cryptographic Implementations and Security
Low-Power High-Performance VLSI Design
Neuroscience and Neural Engineering
Physical Unclonable Functions (pufs) and Hardware Security
+1
A
Adversarial Robustness in Machine Learning
Cryptography and Data Security
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
W
William Enck

Goodnight Distinguished Professor in Security Sciences

Computer Science

North Carolina State University

Advanced Malware Detection Techniques
Digital and Cyber Forensics
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
M
Michail Maniatakos

Global Network Faculty; Global Network Associate Professor; Research Associate Professor

Department of Electrical and Computer Engineering

New York University

Advanced Malware Detection Techniques
Cryptography and Data Security
Physical Unclonable Functions (pufs) and Hardware Security
Security and Verification in Computing
+1
J
Joseph Tassarotti

Associate Professor of Computer Science

Computer Science

New York University

Formal Methods
Programming Languages
Systems
Logic, Programming, and Type Systems
+4
J
Justin Cappos

Professor of Computer Science and Engineering

Computer Science

New York University

Software Engineering
Software Supply Chain Security
Systems
Virtualization
+5
Y
Yunlong Xing

Assistant Professor, Applied Computing; Assistant Professor, Computer Science

Computer Science

Michigan Technological University

AI for Security
Automated Program Repair
Container Security
Software and Systems Security
+5
M
Advanced Malware Detection Techniques
Advanced Memory and Neural Computing
Network Security and Intrusion Detection
Physical Unclonable Functions (pufs) and Hardware Security
+1
A
Cryptographic Implementations and Security
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
F
Advanced Malware Detection Techniques
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
Security and Verification in Computing
+1
A
Advanced Malware Detection Techniques
Internet Traffic Analysis and Secure E-Voting
Ipv6, Mobility, Handover, Networks, Security
Network Security and Intrusion Detection
+1
G
Computer Architecture and Security
Security and Verification in Computing
Advanced Malware Detection Techniques
Parallel Computing and Optimization Techniques
+2
R
Advanced Malware Detection Techniques
Advanced Optical Network Technologies
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
G
Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
S
Distributed Systems and Fault Tolerance
Embedded Systems Design Techniques
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
Y
Yicheng Zhang

Assistant Professor, Department of Electrical and Computer Engineering

Department of Electrical and Computer Engineering

George Mason University

Ar/vr Security and Privacy
GPU and FPGA Side-Channel Analysis
Hardware and System Security
Microarchitectural Vulnerabilities and Defenses
+5
K
Khaled Khasawneh

Assistant Professor, Department of Electrical and Computer Engineering

Department of Electrical and Computer Engineering

George Mason University

Adversarial Machine Learning
Computer Architecture Support for Security
Malware Detection
Side Channel Attacks
+5
Previous
1

...

35

...

15
Next