Many functional programming languages compile to lowlevel languages such as C or assembly. Numerous security properties of those compilers, however, apply only when the compiler compiles whole programs. This paper presents a compilation scheme that securely compiles a standalone module of ModuleML, a light-weight version of an ML with modules, into untyped assembly. The compilation scheme is secure in that it reflects the abstractions of a ModuleML module, for every possible piece of assembly code that it interacts with. This is achieved by isolating the compiled module through a low-level memory isolation mechanism and by dynamically type checking its interactions. We evaluate an implementation of the compiler on relevant test scenarios.
CITATION STYLE
Larmuseau, A., Patrignani, M., & Clarke, D. (2015). A secure compiler for ML modules. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9458, pp. 29–48). Springer Verlag. https://doi.org/10.1007/978-3-319-26529-2_3
Mendeley helps you to discover research relevant for your work.