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.

T

Timos Antonopoulos

Research Scientist and Lecturer

Computer Science

Yale University

Formal Methods in Verification

Logic, Programming, and Type Systems

Security and Verification in Computing

Semigroups and Automata Theory

+1

L

Joseph C. Tsai Professor

Computer Science

Yale University

Advanced Malware Detection Techniques

Parallel Computing and Optimization Techniques

Real-Time Systems Scheduling

Security and Verification in Computing

+1

F

Assistant Professor

Computer Science

Yale University

Blockchain Technology Applications and Security

Cloud Computing and Resource Management

Cloud Data Security Solutions

Cryptography and Data Security

+1

...

C

Charalampos Papamanthou

Associate Professor

Computer Science

Yale University

Cloud Data Security Solutions

Complexity and Algorithms in Graphs

Cryptography and Data Security

Privacy-Preserving Technologies in Data

+1

B

Assistant Professor

Computer Science

Yale University

Blockchain Technology Applications and Security

Cloud Data Security Solutions

Cryptographic Implementations and Security

Cryptography and Data Security

+1

S

Assistant Professor

Computer Science

Worcester Polytechnic Institute

Cloud Computing and Resource Management

Parallel Computing and Optimization Techniques

Particle Accelerators and Free-Electron Lasers

Physical Unclonable Functions (pufs) and Hardware Security

+1

K

Assistant Professor of Teaching

Computer Science

Worcester Polytechnic Institute

Cryptographic Implementations and Security

Cryptography and Data Security

Internet Traffic Analysis and Secure E-Voting

Quantum Computing Algorithms and Architecture

+1

R

Associate Professor

Computer Science

Worcester Polytechnic Institute

Performance Optimization

Systems Security

Advanced Malware Detection Techniques

Security and Verification in Computing

+3

K

Kirshanthan Sundararajah

Assistant professor

Computer Science

Virginia Tech

Advanced Data Storage Technologies

Distributed and Parallel Computing Systems

Embedded Systems Design Techniques

Parallel Computing and Optimization Techniques

+1

E

Assistant professor

Computer Science

Virginia Tech

Advanced Malware Detection Techniques

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

Security and Verification in Computing

+1

M

Murat Kantarcioglu

Professor and Faculty Fellow, Commonwealth Cyber Initiative

Computer Science

Virginia Tech

Access Control and Trust

Advanced Malware Detection Techniques

Diamond and Carbon-Based Materials Research

Geophysical Methods and Applications

+1

G

Associate Professor

Computer Science

Virginia Tech

Advanced Data Storage Technologies

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

Real-Time Systems Scheduling

+1

P

Patrick McDaniel

Tsun-Ming Shih Professor

Computer Science

University of Wisconsin–Madison

Advanced Malware Detection Techniques

Adversarial Robustness in Machine Learning

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

+1

S

Sheldon B. and Marianne S. Lubar Chair and Professor

Computer Science

University of Wisconsin–Madison

Advanced Malware Detection Techniques

Formal Methods in Verification

Internet Traffic Analysis and Secure E-Voting

Network Security and Intrusion Detection

+1

T

Assistant Professor

Computer Science

University of Wisconsin–Madison

Advanced Data Storage Technologies

Cloud Computing and Resource Management

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

+1

E

Ethan Cecchetti

Assistant Professor

Computer Science

University of Wisconsin–Madison

Advanced Malware Detection Techniques

Blockchain Technology Applications and Security

Cloud Data Security Solutions

Cryptography and Data Security

+1

A

Aws Albarghouthi

Associate Professor

Computer Science

University of Wisconsin–Madison

Security and Verification in Computing

Software Reliability and Analysis Research

Software Testing and Debugging Techniques

G

Gregor Richards

Associate Professor, Teaching Stream

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Malware Detection Techniques

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+1

A

Ali José Mashtizadeh

Associate Professor

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Data Storage Technologies

Cloud Computing and Resource Management

Distributed Systems and Fault Tolerance

Parallel Computing and Optimization Techniques

+1

P

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Security and Verification in Computing

Software Engineering Research

+1

W

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification

Logic, Programming, and Type Systems

Parallel Computing and Optimization Techniques

Security and Verification in Computing

+1

Y

Associate Professor

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Malware Detection Techniques

Digital and Cyber Forensics

Network Security and Intrusion Detection

Security and Verification in Computing

+1

Z

Zachary Tatlock

Professor

Computer Science

University of Washington

Programming Languages

Parallel Computing and Optimization Techniques

+4

F

Franziska Roesner

Professor

Computer Science

University of Washington

Augmented, Virtual & Mixed Reality

Human-Computer Interaction

Security & Privacy

Privacy, Security, and Data Protection

+4