Yannis Juglaret, Cătălin Hriţcu, Arthur Azevedo Amorim, Boris Eng, Benjamin C. Pierce.
Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation.
29th IEEE Symposium on Computer Security Foundations (CSF), 2016, Lisabon, Portugal.
pp.45--60, (10.1109/CSF.2016.11). (hal-01424795)