Securing a Compiler Transformation
No abstract available.
DOI 10.1007/978-3-662-53413-7_9
Related papers
- Non-interference Preserving Optimising Compilation OOPSLA 2025
- Witnessing Secure Compilation VMCAI 2020
- Compiling Sandboxes: Formally Verified Software Fault Isolation ESOP 2019
- Viaduct: an extensible, optimizing compiler for secure distributed programs PLDI 2021
- Program specialization for execution monitoring JFP 2003
- Cape: compiler-aided program transformation for HTM-based cache side-channel defense CC 2022
- Secure delivery of program properties through optimizing compilation CC 2020
- Securing the SSA Transform SAS 2017