A Compiler-Based Approach to Data Security
No abstract available.
DOI 10.1007/978-3-540-31985-6_13
Related papers
- Compiler Optimizations to Reduce Security Overhead CGO 2006
- Building Intrusion-Tolerant Secure Software CGO 2005
- Secure delivery of program properties through optimizing compilation CC 2020
- Verified secure compilation for mixed-sensitivity concurrent programs JFP 2021
- Oblivious algebraic data types POPL 2022
- Vectorized secure evaluation of decision forests PLDI 2021
- Robustly Safe Compilation, an Efficient Form of Secure Compilation TOPLAS 2021
- Robustly Safe Compilation ESOP 2019