Receipts, Not Similarity: Grounding Security Explanations of Software Repositories in a Structured, Sourced Knowledge Library. A Study Protocol with a Feasibility Pilot on OWASP ASVS
Oct 2026· Zenodo (CERN European Organization for Nuclear Research)
Web Application Security VulnerabilitiesSoftware Engineering Research
Abstract
Tools that use large language models (LLMs) to flag security problems in code must also explain them: which requirement is violated, and how to fix it. These explanations are only useful if they cite the right authoritative source. The common way to supply that source is vector retrieval-augmented generation (RAG), which fetches text chunks by embedding similarity. Similarity says nothing about whether a passage is current, who confirmed it, or whether it is the exact clause that applies. We propose instead to store security knowledge as a library in Google's Open Knowledge Format (OKF), where each requirement is one file carrying its source, verification record and expiry, and to let the model navigate the library through its index and links. This paper makes two contributions. First, a feasibility pilot: we converted OWASP ASVS 5.0.0 (345 requirements), the superseded ASVS 4.0.3 (286 requirements) and 152 linked CWE entries into a 783-concept OKF v0.2 library. The library is conformant, reproducible byte-for-byte, and has no broken links among 470. The pilot also exposed a concrete hazard: of the 151 ASVS 4.0.3 requirement identifiers that still exist in 5.0.0, 150 now denote a different requirement. Second, a pre-registered study protocol comparing four retrieval conditions on citation correctness, citation verifiability, use of outdated guidance, and cost. All main-study results are pending and reported as such. Files: archai_okf.pdf (paper); replication_package.zip (build and measurement scripts, and the generated OKF library). The ASVS-derived library in the zip is licensed CC BY-SA 4.0 with attribution to the OWASP Foundation, as required by the ASVS license.
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
The ongoing work building a Raspberry Pi cluster consisting of 300 nodes is presented, with potential use cases being an inexpensive and green test bed for cloud computing research and a robust and mobile data center for operating in adverse environments.
P. Abrahamsson, S. Helmer, Nattakarn Phaphoom et al.· IEEE International Conferenc...· 110 citations· ⚡7
The findings show that speed related agile practices are used to a greater extent in comparison to quality practices, and that software startups who adopt the Lean Startup approach do not sacrifice quality for speed more than other startups do.
Jevgenija Pantiuchina, Marco Mondini, Dron Khanna et al.· International Conference on...· 84 citations· ⚡4
A new computational approach reveals how cells communicate to assemble into tissues. This could accelerate stem cell engineering, improve disease models, and inform therapies.
Microsoft Research Blog· microsoft.comOct 15, 2026
Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research.