Macaron: A Logic-based Framework for Software Supply Chain Security Assurance. - Behnaz Hassanshahi; Trong Nhan Mai; Alistair Michael; Benjamin Selwyn-Smith; Sophie Bates; Padmanabhan Krishnan (SCORED@CCS, 2023)

Lift-Offline: Instruction Lifter Generators. - Nicholas Coughlin; Alistair Michael; Kait Lam (SAS, 2024)