Publications

Yannis Juglaret

Secure Compilation Using Micro-Policies