Login / Signup
Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components.
Yannis Juglaret
Catalin Hritcu
Arthur Azevedo de Amorim
Benjamin C. Pierce
Antal Spector-Zabusky
Andrew Tolmach
Published in:
CoRR (2015)
Keyphrases
</>
programming language
building blocks
optimal policy
code generation
low level
higher level
general purpose
high level
lightweight
software components
authentication scheme
instruction scheduling