TY  - RPRT
TI  - Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components
AU  - Yannis Juglaret
AU  - Catalin Hritcu
AU  - Arthur Azevedo de Amorim
AU  - Benjamin C. Pierce
AU  - Antal Spector-Zabusky
AU  - Andrew Tolmach
PY  - 2015
UR  - https://arxiv.org/abs/1510.00697
ID  - 1510.00697
ER  -