GradNova

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