Macaron: A Logic-based Framework for Software Supply Chain Security Assurance
| Title: | Macaron: A Logic-based Framework for Software Supply Chain Security Assurance |
|---|---|
| Authors: | Hassanshahi, Behnaz; Mai, Trong Nhan; Michael, Alistair; Selwyn-Smith, Benjamin; Bates, Sophie; Krishnan, Padmanabhan |
| Source: | Proceedings of the 2023 Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses. :29-37 |
| Availability: | http://dl.acm.org/doi/10.1145/3605770.3625213 |
| Database: | ACM Full-Text Collection |