Not registered as user yet

Name:Guglielmo Fachini
Affiliation:Inria Paris

Contributions

PriSC 2018 Author of Formally Secure Compilation of Unsafe Low-Level Components within the PriSC 2018-track