19 citations
- C. Maple3 · h 49
- Himanshu Gupta3 profiles3 · h 10
- Kay Atefi3 · h 2
- Micah Carroll2 profiles3 · h 15
- Michael Kirchhof2 profiles3 · h 10
- Omar Santos3 · h 16
- Orion Weller2 profiles3 · h 22
- P. Radanliev3 · h 31
- Zheng-Xin Yong3 profiles3 · h 18
- Abdallah Galal2 profiles2 · h 1
- Alon Amit2 profiles2 · h 8
- Ankit Singh2 profiles2 · h 3
- University College LondonGB5 papers
- Turing InstituteGB4 papers
- University of OxfordGB4 papers
- Cisco Systems (United States)US3 papers
- Queen Mary University of LondonGB3 papers
- University of CambridgeGB3 papers
- University of HullGB3 papers
- University of SheffieldGB3 papers
- University of WarwickGB3 papers
- Cisco Systems (China)CN2 papers
- Cornell UniversityUS2 papers
- Dartmouth CollegeUS2 papers
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026★ 1 cited
Execution-bound advisory automation for agentic AI: a reproducible AIBOM-driven CSAF-VEX framework
Petar Radanliev, Omar Santos, Carsten Maple +1
A protocol driven framework is presented that binds SBOM and AIBOM artefacts to deterministic environment capture and structured runtime telemetry. Exploitability is computed from…
cs.SE2026★ 1 cited
Operationalising Artificial Intelligence Bills of Materials (AIBOMs) for Verifiable AI Provenance and Lifecycle Assurance
Petar Radanliev, Omar Santos, Carsten Maple +1
Artificial Intelligence (AI) systems are increasingly dependent on complex, multi-layered software supply chains that introduce challenges for reproducibility, transparency, and se…