Automatic and Incremental Repair for Speculative Information Leaks
Abstract elided by the publisher.
Related papers
- Automatically eliminating speculative leaks from cryptographic code with blade POPL 2021
- Liquid information flow control ICFP 2020
- SSMR: Statically Detecting Speculation Safe Memory Regions to Mitigate Transient Execution Attacks CC 2026
- Secure automatic bounds checking: prevention is simpler than cure CGO 2020
- Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries CGO 2025
- Enhanced speculative parallelization via incremental recovery PPoPP 2011
- Oracle-free repair synthesis for floating-point programs OOPSLA 2022
- Exposing cache timing side-channel leaks through out-of-order symbolic execution OOPSLA 2020