Many functional programming languages compile to low-level languages such as C or assembly. Numerous security properties of those compilers, however, apply only when the compiler compiles whole pro ...
['Adriaan Larmuseau', 'Marco Patrignani', 'Dave Clarke']
A secure compiler for ML modules