3 papers
cs.PL2025
RustMC: Extending the GenMC stateless model checker to Rust
Oliver Pearce, Julien Lange, Dan O'Keeffe
RustMC is a stateless model checker that enables verification of concurrent Rust programs. As both Rust and C/C++ compile to LLVM IR, RustMC builds on GenMC which provides a verifi…
cs.CR2024
Securing Monolithic Kernels using Compartmentalization
Soo Yee Lim, Sidhartha Agrawal, Xueyuan Han +3
Monolithic operating systems, where all kernel functionality resides in a single, shared address space, are the foundation of most mainstream computer systems. However, a single fl…
cs.CR2021
RansomClave: Ransomware Key Management using SGX
Alpesh Bhudia, Daniel O'Keeffe, Daniele Sgandurra +1
Modern ransomware often generate and manage cryptographic keys on the victim's machine, giving defenders an opportunity to capture exposed keys and recover encrypted data without p…