Sotabase

Career

· PhD Student, University of Maryland, College Park2024–
· Faculty (implied, based on department contact info), University of Maryland

Publications (1)

A formal model of Checked C
IEEE Computer Security Foundations Symposium · 2022
11
cited
Sotabase
Deena Postol | Researcher Profile | Sotabase | Sotabase