Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Lijian Huang

dblp:398/6122 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2026
0009-0007-5548-1322ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Systems and software security · 50% Hardware security and side channels · 50%
Software engineering, system software, and programming languages
1 paper
Operating systems · 100%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Hardware security and side channels › trusted execution environments
hardware-assisted memory isolation
1.012026
Towards Secure BPF Kernel Extension With Hardware-Enhanced Memory Isolation · IEEE Trans. Dependable Secur. Comput. 2026
Systems and software security › isolation
kernel extension isolation
1.012026
Towards Secure BPF Kernel Extension With Hardware-Enhanced Memory Isolation · IEEE Trans. Dependable Secur. Comput. 2026
Systems and software security
operating system security
1.012026
Towards Secure BPF Kernel Extension With Hardware-Enhanced Memory Isolation · IEEE Trans. Dependable Secur. Comput. 2026
Hardware security and side channels
trusted execution environments
1.012026
Towards Secure BPF Kernel Extension With Hardware-Enhanced Memory Isolation · IEEE Trans. Dependable Secur. Comput. 2026
Operating systems › system security › operating system security
kernel security
0.312026
Towards Secure BPF Kernel Extension With Hardware-Enhanced Memory Isolation · IEEE Trans. Dependable Secur. Comput. 2026

Methods — techniques the papers use, named apart from their topics

arm stage-2 translation · 2.0Intel MPK · 2.0
YearPublicationVenuePosition
2026 Towards Secure BPF Kernel Extension With Hardware-Enhanced Memory Isolation
abstract
The Linux kernel extensively uses the Berkeley Packet Filter (BPF) to allow user-written BPF applications to execute in the kernel space. The BPF employs a verifier to check the security of user-supplied BPF code statically. Recent attacks show that BPF programs can evade security checks and gain unauthorized access to kernel memory, indicating that the verification process is not flawless. In this paper, we present MOAT, a novel hardware-assisted, cross-platform isolation framework designed to protect the kernel from malicious BPF programs. MOAT introduces a two-layer memory isolation scheme that leverages hardware features such as Intel MPK and Arm Stage-2 translation to enforce isolation. Our design overcomes several key challenges, including the limited scalability of available hardware isolation mechanisms and the risk of helper function abuse. We implement MOAT for Intel x86 and Arm on Linux (ver. 6.1.38), and our evaluation shows that MOAT delivers low-cost isolation of BPF programs under mainstream use cases, such as isolating a BPF packet filter with only 3% throughput loss.
Lijian Huang, Hongyi Lu, Shuai Wang 0011, Fengwei Zhang
IEEE Trans. Dependable Secur. Comput.1