Login / Signup
Alistair Michael
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Supply Chain
Lead Time
Rfid Technology
Cost Savings
Top Venues
SCORED@CCS
</>
Publications
</>
Behnaz Hassanshahi
,
Trong Nhan Mai
,
Alistair Michael
,
Benjamin Selwyn-Smith
,
Sophie Bates
,
Padmanabhan Krishnan
Macaron: A Logic-based Framework for Software Supply Chain Security Assurance.
SCORED@CCS
(2023)