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)