1. Code to Qed, the Project Manager's Guide to Proof Engineering;ACM Transactions on Software Engineering and Methodology;2024-08-26
2. Secure Partitioning of Cloud Applications, with Cost Look-Ahead;Future Internet;2023-06-22
3. FLYOS: Integrated Modular Avionics for Autonomous Multicopters;2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS);2022-05
4. FlexOS: towards flexible OS isolation;Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems;2022-02-22
5. Real-Time Policy Enforcement with Metric First-Order Temporal Logic;Computer Security – ESORICS 2022;2022