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.

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
Advanced Memory and Neural Computing
+4
R
Cloud Computing and Resource Management
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
K
Computer Security
Networking and Computer Systems
Parallel Computing and Optimization Techniques
Advanced Data Storage Technologies
+3
R
Computer Security
Energy Systems
Networking and Computer Systems
Smart Grid Security and Resilience
+4
A
Advanced Malware Detection Techniques
Digital and Cyber Forensics
Geotechnical Engineering and Soil Stabilization
Network Security and Intrusion Detection
+1
A
Formal Methods Analysis
High Assurance System Verification
Network Virtualization
Security Modeling of Systems
+5
J
James Bret Michael

Vice Provost for Academic Affairs Professor

Computer Science

Naval Postgraduate School

Engineering Trusted Systems
Machine Learning
Technical, Legal, and Policy Aspects of Military Operations in Cyberspace
Software Reliability and Analysis Research
+4
J
Computer Science Education
Computer Security
Distributed Systems
Operating Systems
+5
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
T
Enabled Security Assessment
Hardware Security
Microelectronics Security & Reliability Assurance
Quantum Computing
+5
A
Computer Security
Digital Forensics
Memory Forensics
Systems Security
+6
T
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+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
A
Applied Cryptography
Internet of Things Security
Medical Device Security
Secure Applications
+5
Y
Yinzhi Cao

Technical Director of the JHU Information Security Institute and Associate Professor

Computer Science

Johns Hopkins University

Security and Privacy of Machine Learning
Web, Mobile, and Payment Systems Security
Advanced Malware Detection Techniques
Security and Verification in Computing
+3
L
Advanced Malware Detection Techniques
Security and Verification in Computing
Software Testing and Debugging Techniques
S
Stephen Chong

Gordon McKay Professor of Computer Science

Computer Science

Harvard University

Advanced Malware Detection Techniques
Cloud Data Security Solutions
Distributed Systems and Fault Tolerance
Logic, Programming, and Type Systems
+1
B
Brendan Saltaformaggio

Associate Professor in SCP, Joint with the School

College of Computing

Georgia Institute of Technology

Advanced Data Storage Technologies
Advanced Malware Detection Techniques
Digital and Cyber Forensics
Network Security and Intrusion Detection
+1
M
Advanced Malware Detection Techniques
Cryptographic Implementations and Security
Parallel Computing and Optimization Techniques
Physical Unclonable Functions (pufs) and Hardware Security
+1
A
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
W
Wenke Lee

USG Regents Professor, and John P. Imlay Jr.

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques
Anomaly Detection Techniques and Applications
Internet Traffic Analysis and Secure E-Voting
Network Security and Intrusion Detection
+1
Previous
1

...

578
Next