144 citations · 144 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.OS2025
Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
Yuke Peng, Hongliang Tian, Zhang Junyang +10
How can one build a feature-rich, general-purpose, Rust-based operating system (OS) with a minimal and sound Trusted Computing Base (TCB) for memory safety? Existing Rust-based OSe…
cs.CL2025
PRIV-QA: Privacy-Preserving Question Answering for Cloud Large Language Models
Guangwei Li, Yuansen Zhang, Yinggui Wang +3
The rapid development of large language models (LLMs) is redefining the landscape of human-computer interaction, and their integration into various user-service applications is bec…