GradNova

GradNova

Find faculty who want students like you. Stop guessing — match with the right advisor.

Product

Find Faculty Universities Research Topics Sign In Claim Faculty Profile

Resources

FAQ Blog Contact Us

Legal

Privacy Policy Terms of Service

© 2026 GradNova. All rights reserved.

GradNova is not affiliated with any university. Match scores are AI-generated estimates.

Security and Verification in Computing Research Faculty | GradNova

/

/

Security and Verification in Computing

Security and Verification in Computing

180 faculty research Security and Verification in Computing on GradNova.

M

Assistant Teaching Professor

Computer Science

Emory University

Embedded Systems Design Techniques

Interconnection Networks and Systems

Low-Power High-Performance VLSI Design

Parallel Computing and Optimization Techniques

+1

D

Associate Professor of Computer Science

Computer Science

Duke University

Advanced Malware Detection Techniques

Cryptography and Data Security

Physical Unclonable Functions (pufs) and Hardware Security

Privacy-Preserving Technologies in Data

+1

O

O. Sami Saydjari

Computer Science

Dartmouth College

Advanced Malware Detection Techniques

Cybersecurity and Cyber Warfare Studies

Information and Cyber Security

Network Security and Intrusion Detection

+1

...

C

Christophe Hauser

Assistant Professor Faculty Member, Institute for Security, Technology and Society

Computer Science

Dartmouth College

Advanced Malware Detection Techniques

Network Security and Intrusion Detection

Security and Verification in Computing

Software Engineering Research

+1

S

Dartmouth College Distinguished Professor in Cyber Security, Technology, and Society Associate Professor of Computer Science

Computer Science

Dartmouth College

Advanced Malware Detection Techniques

Information and Cyber Security

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

+1

S

Simha Sethumadhavan

Professor

Computer Science

Columbia University

Computer Architecture

Computer Security

High Performance Computing

+5

G

Assistant Professor

Computer Science

Colorado School of Mines

Advanced Malware Detection Techniques

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

Security and Verification in Computing

+1

A

Adwait Nadkarni

Class of 1953 Associate Professor

Computer Science

William & Mary

Advanced Malware Detection Techniques

Digital and Cyber Forensics

Privacy, Security, and Data Protection

Security and Verification in Computing

+1

S

Assistant Professor

Computer Science

William & Mary

Advanced Malware Detection Techniques

Cloud Data Security Solutions

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

+1

K

Associate Teaching Professor, Undergraduate Director

Computer Science

William & Mary

Advanced Malware Detection Techniques

Energy Efficient Wireless Sensor Networks

Indoor and Outdoor Localization Technologies

Security and Verification in Computing

+1

Z

Assistant Professor

Computer Science

Clemson University

Advanced Malware Detection Techniques

Cryptographic Implementations and Security

Internet Traffic Analysis and Secure E-Voting

Radar Systems and Signal Processing

+1

R

Riad Samir Wahby

Assistant Professor

Computer Science

Carnegie Mellon University

Advanced Malware Detection Techniques

Cryptographic Implementations and Security

Cryptography and Data Security

Distributed Systems and Fault Tolerance

+1

R

Riccardo Paccagnella

Assistant Professor

Computer Science

Carnegie Mellon University

Cryptographic Implementations and Security

Network Security and Intrusion Detection

Parallel Computing and Optimization Techniques

Physical Unclonable Functions (pufs) and Hardware Security

+1

B

Benjamin Titzer

Associate Research Professor

Computer Science

Carnegie Mellon University

Embedded Systems Design Techniques

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+1

S

Stephanie Ginette Balzer

Assistant Professor

Computer Science

Carnegie Mellon University

Advanced Software Engineering Methodologies

Distributed Systems and Fault Tolerance

Formal Methods in Verification

Logic, Programming, and Type Systems

+1

D

David J Brumley

Professor of ECE

Computer Science

Carnegie Mellon University

Advanced Malware Detection Techniques

Network Security and Intrusion Detection

Security and Verification in Computing

Software Engineering Research

+1

L

Professor, ECE-ISR

Computer Science

Carnegie Mellon University

Advanced Malware Detection Techniques

Information and Cyber Security

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

+1

F

Professor

Computer Science

Carnegie Mellon University

Access Control and Trust

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

+1

J

Jonathan E Aldrich

Professor

Computer Science

Carnegie Mellon University

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

+1

L

Research Professor

Computer Science

Carnegie Mellon University

Advanced Malware Detection Techniques

Security and Verification in Computing

User Authentication and Security Systems

V

Virgil D Gligor

Professor

Computer Science

Carnegie Mellon University

Access Control and Trust

Advanced Malware Detection Techniques

Network Security and Intrusion Detection

Security and Verification in Computing

+1

D

Dimitrios Skarlatos

Assistant Professor

Computer Science

Carnegie Mellon University

Advanced Data Storage Technologies

Advanced Malware Detection Techniques

Cloud Computing and Resource Management

Parallel Computing and Optimization Techniques

+1

B

Professor

Computer Science

Carnegie Mellon University

Advanced Malware Detection Techniques

Cloud Data Security Solutions

Cryptography and Data Security

Distributed Systems and Fault Tolerance

+1

L

Associate Professor

Computer Science

Carleton University

Advanced Malware Detection Techniques

Information and Cyber Security

Network Security and Intrusion Detection

Security and Verification in Computing

+1