1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.OS2026★ 1 cited
Velosiraptor: Code Synthesis for Memory Translation
Reto Achermann, Em Chu, Ryan Mehri +2
Security is among the top concerns of operating system (OS) developers. A secure runtime environment relies on the OS to correctly configure the memory hardware on which it runs. T…
cs.CR2023
OSmosis: No more Déjà vu in OS isolation
Sidhartha Agrawal, Reto Achermann, Margo Seltzer
Operating systems provide an abstraction layer between the hardware and higher-level software. Many abstractions, such as threads, processes, containers, and virtual machines, are…