1. SecRSL: security separation logic for C11 release-acquire concurrency;Proceedings of the ACM on Programming Languages;2021-10-20
2. Logics for Actor Networks: A two-stage constrained-hybridisation approach;Journal of Logical and Algebraic Methods in Programming;2019-08
3. A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
4. Strategic Noninterference;ICT Systems Security and Privacy Protection;2015
5. Rule formats for compositional non-interference properties;The Journal of Logic and Algebraic Programming;2004-07