Sign in

Macaron: A Logic-based Framework for Software Supply Chain Security Assurance.

Behnaz HassanshahiTrong Nhan MaiAlistair MichaelBenjamin Selwyn-SmithSophie BatesPadmanabhan Krishnan
Published in: SCORED@CCS (2023)
Keyphrases