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.

D

David Kohlbrenner

Assistant Professor

Computer Science

University of Washington

Architecture & Parallel Computing

Operating & Distributed Systems

Security & Privacy

Cryptographic Implementations and Security

+2

D

Professor & Vice Director

Computer Science

University of Washington

Computing Education Research

Programming Languages

Parallel Computing and Optimization Techniques

Logic, Programming, and Type Systems

+3

P

Assistant Professor

School of Computing

University of Utah

Security / Privacy (cryptography)

Cryptography and Data Security

Cryptographic Implementations and Security

Privacy-Preserving Technologies in Data

+2

...

S

Assistant Professor

School of Computing

University of Utah

Computer Architecture

Programming Languages and Computer Systems With a Focus On: Consistency Models, Coherence Protocols, Replication Protocols, Language Support for Microarchitecture Design, Correct-By-Construction System Design.

Software Testing and Debugging Techniques

Advanced Malware Detection Techniques

+3

E

Research Associate Professor

School of Computing

University of Utah

High-Performance Computing (scalable Systems)

Programming Languages (formal Verification and Testing)

Security / Privacy (systems Security)

Systems (networking, Scalable Systems)

+5

A

Associate Professor

School of Computing

University of Utah

Systems (operating Systems)

Security and Verification in Computing

Cryptography and Data Security

Coding Theory and Cryptography

+2

F

Associate Professor of Electrical and Computer Engineering and Computer Science

Computer Science

University of Southern California

Advanced Malware Detection Techniques

Cryptographic Implementations and Security

Security and Verification in Computing

T

Timothy Hoffman

Teaching Assistant Professor

Computer Science

University of Pittsburgh

Access Control and Trust

Cloud Data Security Solutions

Security and Verification in Computing

W

Teaching Associate Professor

Computer Science

University of Pittsburgh

Distributed Systems and Fault Tolerance

Embedded Systems Design Techniques

Interconnection Networks and Systems

Parallel Computing and Optimization Techniques

+1

J

Jonathan M. Smith

Professor

Computer Science

University of Pennsylvania

Advanced Data Storage Technologies

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+1

J

Associate Professor

Computer Science

University of Pennsylvania

Advanced Data Storage Technologies

Embedded Systems Design Techniques

Numerical Methods and Algorithms

Parallel Computing and Optimization Techniques

+1

C

Cynthia Sturton

Associate Professor

Computer Science

University of North Carolina at Chapel Hill

Applied Formal Methods for Software Security

Computer and Hardware Security

Cryptographic Implementations and Security

Security and Verification in Computing

+1

M

Michael K. Reiter

Research Professor

Computer Science

University of North Carolina at Chapel Hill

Applied Cryptography

Computer and Network Security

Distributed Systems

Distributed Systems and Fault Tolerance

+4

K

Teaching Assistant Professor

Computer Science

University of North Carolina at Chapel Hill

Computer Science Education and Pedagogy

Hardware Security

Symbolic Execution

Security and Verification in Computing

+4

D

Professor

Computer Science

University of North Carolina at Chapel Hill

Computer Security

Concurrent Programming

Operating Systems

+6

A

Assistant Professor

Computer Science

University of North Carolina at Chapel Hill

Applied Cryptography

Computer Security

Security and Verification in Computing

Cryptographic Implementations and Security

+3

S

Saba Eskandarian

Assistant Professor

Computer Science

University of North Carolina at Chapel Hill

Applied Cryptography

Computer Security

Cryptography and Data Security

+4

V

Professor, Department Chair, Director of UNO Cyber Center

Computer Science

University of New Orleans

Advanced Data Storage Technologies

Advanced Malware Detection Techniques

Digital and Cyber Forensics

Digital Media Forensic Detection

+1

D

Associate Professor

Computer Science

University of New Hampshire at Manchester

Advanced Malware Detection Techniques

Formal Methods in Verification

Security and Verification in Computing

Software Engineering Research

+1

N

Assistant Professor

Computer Science & Engineering

University of Nevada, Reno

Cybersecurity and Network Systems

Advanced Data Storage Technologies

Advanced Malware Detection Techniques

Security and Verification in Computing

+2

R

Director, Cybersecurity Center at Mizzou Associate Professor

Computer Science

University of Missouri

Cryptography and Data Security

Formal Methods in Verification

Logic, Programming, and Type Systems

Privacy-Preserving Technologies in Data

+1

A

Associate Professor, Computer and Information Science

Computer Science

University of Michigan–Dearborn

Computer Security

Computing and Networks

Advanced Malware Detection Techniques

Network Security and Intrusion Detection

+3

W

Professor

Computer Science and Engineering

University of Michigan

Medical Imaging

Program Analysis

Programming Languages

Software Engineering

+6

J

J. Alex Halderman

Professor

Computer Science and Engineering

University of Michigan

Computer Security

Digital Rights Management

Electronic Voting

Information Privacy

+7