Security Types Preserving Compilation: (Extended Abstract)
No abstract available.
Related papers
- Secure implementations of typed channel abstractions POPL 2007
- Parametricity versus the universal type POPL 2018
- An Extended Account of Trace-relating Compiler Correctness and Secure Compilation TOPLAS 2021
- Type-preserving compilation of end-to-end verification of security enforcement PLDI 2010
- Robustly Safe Compilation, an Efficient Form of Secure Compilation TOPLAS 2021
- Purity of an ST monad: full abstraction by semantically typed back-translation OOPSLA 2022
- Typed closure conversion preserves observational equivalence ICFP 2008
- Fully abstract compilation to JavaScript POPL 2013