Not registered as user yet

Name: Yannis Juglaret

Affiliation: Inria

POPL 2016 Activities

• Author of Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components within the SRC-track in POPL 2016
• Show activities from other conferences