12 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.CR2021★ 12 cited
The Endokernel: Fast, Secure, and Programmable Subprocess Virtualization
Bumjin Im, Fangfei Yang, Chia-Che Tsai +3
Commodity applications contain more and more combinations of interacting components (user, application, library, and system) and exhibit increasingly diverse tradeoffs between isol…
cs.CR2020
The Design and Implementation of a Verified File System with End-to-End Data Integrity
Daniel W. Song, Konstantinos Mamouras, Ang Chen +2
Despite significant research and engineering efforts, many of today's important computer systems suffer from bugs. To increase the reliability of software systems, recent work has…