A Secure Compiler for ML Modules
Abstract elided by the publisher.
Related papers
- Secure Compilation of Object-Oriented Components to Protected Module Architectures APLAS 2013
- Secure Compilation to Protected Module Architectures TOPLAS 2015
- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform TACAS 2015
- Compiling Sandboxes: Formally Verified Software Fault Isolation ESOP 2019
- A Capability-Based Module System for Authority Control ECOOP 2017
- Modules and Type Checking in PL/LL OOPSLA 1987
- Pluggable verification modules: an extensible protection mechanism for the JVM OOPSLA 2004
- Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly OOPSLA 2024