Old Web
English
Sign In
Acemap
>
authorDetail
>
Guglielmo Fachini
Guglielmo Fachini
French Institute for Research in Computer Science and Automation
Computer science
Abstract machine
Undefined behavior
Compiler
Compromise
5
Papers
35
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
CCS | Computer and Communications Security
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
Cătălin Hriţcu
Théo Laurent
Benjamin C. Pierce
Marco Stronati
Andrew Tolmach
Show All
Source
Cite
Save
Citations (23)
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
CCS | Computer and Communications Security
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
Catalin Hritcu
Théo Laurent
Benjamin C. Pierce
Marco Stronati
Andrew Tolmach
Show All
Source
Cite
Save
Citations (0)
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
2018
CCS | Computer and Communications Security
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
Cătălin Hriţcu
Théo Laurent
Benjamin C. Pierce
Marco Stronati
Andrew Tolmach
Show All
Source
Cite
Save
Citations (11)
Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract).
2017
arXiv: Cryptography and Security
Guglielmo Fachini
Cătălin Hriţcu
Marco Stronati
Ana Nora Evans
Théo Laurent
Arthur Azevedo de Amorim
Benjamin C. Pierce
Andrew Tolmach
Show All
Source
Cite
Save
Citations (1)
Validating the Meta-Theory of Programming Languages (Short Paper)
2017
ICSE | International Conference on Software Engineering
Guglielmo Fachini
Alberto Momigliano
Show All
Source
Cite
Save
Citations (0)
1