Reliable KMDF Instruction Set Generation for User Queries Based on Endogenous Generative LLMs

This paper proposes a method for using endogenous generative large language models (LLMs) to generate reliable Microsoft Kernel Mode Driver Framework (KMDF) instruction sets for user queries in the natural language form. The reliability is defined to ensure the validity, correctness, and safety of the generated instruction sets through a multi-phase verification procedure. Three phases are designed in the verification pro-cedure, leveraging both traditional and advanced AI techniques to minimize the risk of errors and enhance the security and effi-ciency of the framework-based anti-virus programs. Meanwhile, m = 20 is figured out to be the maximum count of attempts, where <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$m$</tex> is the maximum count of the attempts. With roles and layers shown clearly, security proofs like secure multi-party computation are discussed for local communication security. The experimental results demonstrate the effectiveness of our approach, showing significant improvements in the reliability of KMDF instruction set generation. Eventually, the paper presents some possible future research directions, showing its portability and extendability,

Authors

Institutions

Publication Details

Published
2025-05-15
DOI
https://doi.org/10.1109/spw67851.2025.00034
Primary Topic
Recommender Systems and Techniques
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Reliable KMDF Instruction Set Generation for User Queries Based on Endogenous Generative LLMs

Yifeng Lin, Yuer Yang, Siu‐Ming Yiu
Recommender Systems and Techniques
article

Reliable KMDF Instruction Set Generation for User Queries Based on Endogenous Generative LLMs

Yifeng Lin, Yuer Yang, Siu‐Ming Yiu
article en

Abstract

This paper proposes a method for using endogenous generative large language models (LLMs) to generate reliable Microsoft Kernel Mode Driver Framework (KMDF) instruction sets for user queries in the natural language form. The reliability is defined to ensure the validity, correctness, and safety of the generated instruction sets through a multi-phase verification procedure. Three phases are designed in the verification pro-cedure, leveraging both traditional and advanced AI techniques to minimize the risk of errors and enhance the security and effi-ciency of the framework-based anti-virus programs. Meanwhile, m = 20 is figured out to be the maximum count of attempts, where <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$m$</tex> is the maximum count of the attempts. With roles and layers shown clearly, security proofs like secure multi-party computation are discussed for local communication security. The experimental results demonstrate the effectiveness of our approach, showing significant improvements in the reliability of KMDF instruction set generation. Eventually, the paper presents some possible future research directions, showing its portability and extendability,

University of Hong Kong (HK)
Openalex Percentile: Top 77%
Recommender Systems and Techniques
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.