1. VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A;Proceedings of the ACM on Programming Languages;2023-06-06
2. Iris-Wasm: Robust and Modular Verification of WebAssembly Programs;Proceedings of the ACM on Programming Languages;2023-06-06
3. A Dafny-based approach to thread-local information flow analysis;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05
4. Formalizing SPARCv8 Instruction Set Architecture in Coq;Dependable Software Engineering. Theories, Tools, and Applications;2017
5. Viola;Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services;2016-06-20