2 papers
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…