4 citations · 8 across the 7 of their papers we have counts for
4 papers · 1 filter
safeL4: Rethinking Safe-Language-Based Single Address Space Microkernels
Zheyuan Xu, Xiaobei Zhang, Zihan Li +7
Microkernels provide good features such as high security, safety, and flexibility, but their reliance on hardware-based isolation leads to heavy performance overhead, limiting thei…
NACRE: Rethinking Confidential Containers through Native Architectural Support
Linke Song, Wenhao Wang, Weijie Liu +1
Linux containers achieve high density and fast lifecycle operations by sharing the host kernel, but this design also lets a compromised host inspect or modify container state. Exis…
MemLineage: Lineage-Guided Enforcement for LLM Agent Memory
Ciyan Ouyang, Rui Hou
We introduce MemLineage, a defense for LLM agent memory that attaches both cryptographic provenance and LLM-mediated derivation lineage to every entry. Recent and concurrent work s…
Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
Ciyan Ouyang, Peinan Li, Yubiao Huang +2
We present Janus, a compiler-based security framework that mitigates transient execution attacks like Spectre and control-flow hijacking on ARM64 platforms. Janus integrates specul…