Secure Compilation Using Micro-Policies
Article (Auxiliary material). Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation. Yannis Juglaret, Cătălin Hriţcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce. In 29th IEEE Symposium on Computer Security Foundations (CSF). arXiv:1602.04503.
Technical Report. Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components. Yannis Juglaret, Cătălin Hriţcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach. arXiv:1510.00697.
Extended Abstract. Secure Compilation Using Micro-Policies. Yannis Juglaret, Cătălin Hriţcu. In FCS 2015.
Open Session Talk. Secure Compilation Using Micro-Policies. Yannis Juglaret. In FOSAD 2015.