 Security Properties through the Lens of Modal LogicIEEE Computer Security Foundations Symposium (CSF), 2023 |
 A Calculus for Flow-Limited AuthorizationIEEE Computer Security Foundations Symposium (CSF), 2016 |
 Compositional Security for Reentrant ApplicationsIEEE Symposium on Security and Privacy (IEEE S&P), 2021 |
 First-Order Logic for Flow-Limited AuthorizationIEEE Computer Security Foundations Symposium (CSF), 2020 |
