3 papers
cs.CR2026
SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)
Shixin Song, Davide Davoli, Elias Storme +4
Capability-based architectures such as CHERI provide strong support for the architectural isolation of software components. To additionally protect against microarchitectural leaka…
cs.CR2025
Securing Cryptographic Software via Typed Assembly Language (Extended Version)
Shixin Song, Tingzhen Dong, Kosi Nwabueze +4
Authors of cryptographic software are well aware that their code should not leak secrets through its timing behavior, and, until 2018, they believed that following industry-standar…
cs.CR2024
Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
Shixin Song, Joseph Zhang, Mengjia Yan
Address Space Layout Randomization (ASLR) is one of the most prominently deployed mitigations against memory corruption attacks. ASLR randomly shuffles program virtual addresses to…