Guglielmo Fachini | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Catalin Hritcu
15 publications
Benjamin C. Pierce
13 publications
Arthur Azevedo de Amorim
7 publications
Roberto Blanco
6 publications
Ana Nora Evans
5 publications
Carmine Abate
5 publications
Andrew Tolmach
4 publications
Marco Stronati
4 publications
Théo Laurent
2 publications

research

∙ 02/02/2018

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

We propose a new formal criterion for secure compilation, giving strong ...

0 Guglielmo Fachini, et al. ∙

research

∙ 10/19/2017

Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)

We propose a new formal criterion for secure compilation, providing stro...

0 Guglielmo Fachini, et al. ∙