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.

Applied Formal Methods for Software Security Research Faculty | GradNova

/

/

Applied Formal Methods for Software Security

Applied Formal Methods for Software Security

1 faculty research Applied Formal Methods for Software Security on GradNova.

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