KC: Auditing LLM-Assisted Linux Kernel Configuration with Workload Evidence
This record provides the replication package accompanying the manuscript “IKC: Auditing LLM-Assisted Linux Kernel Configuration with Workload Evidence.” The package contains the source code, workload-evidence processing scripts, LLM-assisted configuration workflow, generated and realized kernel configurations, benchmark scripts, raw per-run measurements, boot-time .config files, kernel identity records, environment snapshots, security-policy records, prompts, and analysis code used in the study. These artifacts support traceability from workload-derived evidence and generated configuration proposals to deterministic Kconfig realization, booted-state verification, empirical performance measurements, and policy-compliance assessment. The archived package is provided as a fixed, version-specific record to support reproducibility and independent inspection.
Authors
- Ke Liang (ORCID: https://orcid.org/0000-0002-4837-455X)
- Konglin Zhu (ORCID: https://orcid.org/0000-0001-7671-311X)
- Yanfeng Fan (ORCID: https://orcid.org/0000-0001-6173-0937)
- Wenbin Yu (ORCID: https://orcid.org/0000-0003-4786-4036)
- Hanmiao Cheng
- Jiahui Tian
- Yadang Chen
- Ran Li
Institutions
- State Grid Corporation of China (China) (CN)
- Nanjing University of Information Science and Technology (CN)
- Shanghai Electric (China) (CN)
- Wuxi Institute of Technology (CN)
- Michigan State University (US)
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-09-01
- DOI
- https://doi.org/10.5281/zenodo.22220189
- Primary Topic
- Security and Verification in Computing
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- National Natural Science Foundation of China
- Natural Science Foundation of Jiangsu Province