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.

A
Andrew Appel

Eugene Higgins Professor of Computer Science, Emeritus

Computer Science

Princeton University

Law & Public Policy
Programming Languages & Compilers
Security & Privacy
Logic, Programming, and Type Systems
+4
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
J
Cloud Data Security Solutions
Security and Verification in Computing
Software System Performance and Reliability
S
Chaos-Based Image/signal Encryption
Cryptographic Implementations and Security
E-Learning and COVID-19
Metaheuristic Optimization Algorithms Research
+1
R
Advanced Data Storage Technologies
Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
+1
K
Computer Security
Networking and Computer Systems
Parallel Computing and Optimization Techniques
Cloud Computing and Resource Management
+3
R
Computer Security
Energy Systems
Networking and Computer Systems
Smart Grid Security and Resilience
+4
C
Carter Yagemann

Assistant Professor, Computer Science and Engineering

Computer Science and Engineering

The Ohio State University

Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Software Engineering Research
+1
R
Advanced Memory and Neural Computing
Low-Power High-Performance VLSI Design
Parallel Computing and Optimization Techniques
Radiation Effects in Electronics
+1
E
Eric Fosler-Lussier

Assistant Dean for Faculty Lifecycle, College of Engineering; Professor, Computer Science and Engineering; The John I. Makhoul Professorship in Electrical and Computer Engineering, College of Engineering; Professor, Biomedical Informatics; Professor, Linguistics

Computer Science and Engineering

The Ohio State University

Advanced Malware Detection Techniques
Advanced Software Engineering Methodologies
Security and Verification in Computing
A
Advanced Malware Detection Techniques
Digital and Cyber Forensics
Geotechnical Engineering and Soil Stabilization
Network Security and Intrusion Detection
+1
A
Amal Ahmed

Professor, Associate Dean of Graduate Programs

Computer Science

Northeastern University

Gradual Typing
Programming Languages
Secure Compilation
Semantics
+7
Z
Advanced Malware Detection Techniques
Cloud Computing and Resource Management
Cloud Data Security Solutions
IoT and Edge/fog Computing
+1
M
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
A
Formal Methods Analysis
High Assurance System Verification
Network Virtualization
Security Modeling of Systems
+5
D
Dr. James Bret Michael

Vice Provost for Academic Affairs Professor Computer Science Electrical and Computer Engineering

Department of Electrical and Computer Engineering

Naval Postgraduate School

Engineering Trusted Systems
Machine Learning
Technical, Legal, and Policy Aspects of Military Operations in Cyberspace
Software Reliability and Analysis Research
+4
D
Cloud Computing
Large Language Model Security
Machine Learning
Network Security
+6
J
Jean Mayo

Professor, Computer Science; Graduate Program Director

Computer Science

Michigan Technological University

Computer Science Education
Computer Security
Distributed Systems
Operating Systems
+5
B
Bo Chen

Associate Professor, Computer Science; Director, ICC Center for Cybersecurity

Computer Science

Michigan Technological University

AI Security
Blockchain
Cloud Computing Security
Cyber-Physical Systems Security
+6
J
Advanced Data Storage Technologies
Advanced Malware Detection Techniques
Digital and Cyber Forensics
Digital Media Forensic Detection
+1
G
Computer Security
Digital Forensics
Exploit Development
Malware Analysis
+9
A
Computer Security
Digital Forensics
Memory Forensics
Systems Security
+6
E
Healthcare Technology and Patient Monitoring
Information and Cyber Security
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
S
Scott Smith

Director of Graduate Studies and Professor

Computer Science

Johns Hopkins University

Formal Methods
Programming Languages
Logic, Programming, and Type Systems
Formal Methods in Verification
+3
Previous
1

...

1113

...

15
Next