41 citations · 41 across the 3 of their papers we have counts for
3 papers
cs.SE2026
From C to Idiomatic Rust: A Ship-of-Theseus Agentic Translation
Vasily A. Sartakov
C underpins operating systems, embedded platforms, and network infrastructure as its abstractions map directly to machine behaviour. Its explicit memory model, predictable data rep…
cs.OS2026
Complets: Universal Compartmentalisation and Programming Model For Arm Permission Overlay Extension 2
Vasily A. Sartakov
Arm Permission Overlay Extension (POE) is an intra-process isolation mechanism based on memory protection keys. This mechanism partitions virtual memory into regions whose access p…
cs.OS2019★ 41 cited
SGX-LKL: Securing the Host OS Interface for Trusted Execution
Christian Priebe, Divya Muthukumaran, Joshua Lind +4
Hardware support for trusted execution in modern CPUs enables tenants to shield their data processing workloads in otherwise untrusted cloud environments. Runtime systems for the t…