11 citations · 11 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CR2025
ACE: Towards A High-Assurance Isolated Virtualization Environment for RISC-V
Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le +5
Confidential computing has proven its value in cloud environments, but its potential for securing edge and high-end embedded systems (e.g., automotive controllers, cryptographic ac…
cs.OS2025
Safe and usable kernel extensions with Rex
Jinghao Jia, Ruowen Qin, Milo Craun +7
Safe kernel extensions have gained significant traction, evolving from simple packet filters to large, complex programs that customize storage, networking, and scheduling. Existing…