Old Web
English
Sign In
Acemap
>
authorDetail
>
Carmine Abate
Carmine Abate
French Institute for Research in Computer Science and Automation
Computer science
Programming language
Theoretical computer science
Adversarial system
Abstraction
5
Papers
48
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
Trace-Relating Compiler Correctness and Secure Compilation
2020
ESOP | European Symposium on Programming
Carmine Abate
Roberto Blanco
Ștefan Ciobâcă
Adrien Durier
Deepak Garg
Cătălin Hrițcu
Marco Patrignani
Éric Tanter
Jérémy Thibault
Show All
Source
Cite
Save
Citations (0)
Trace-Relating Compiler Correctness and Secure Compilation
2020
ESOP | European Symposium on Programming
Carmine Abate
Roberto Blanco
Ştefan Ciobâcă
Deepak Garg
Catalin Hritcu
Marco Patrignani
Éric Tanter
Jérémy Thibault
Show All
Source
Cite
Save
Citations (15)
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
2019
CSF | IEEE Computer Security Foundations Symposium
Carmine Abate
Roberto Blanco
Deepak Garg
Cătălin Hriţcu
Marco Patrignani
Jérémy Thibault
Show All
Source
Cite
Save
Citations (29)
Trace-Relating Compiler Correctness and Secure Compilation
2019
arXiv: Programming Languages
Carmine Abate
Roberto Blanco
Ştefan Ciobâcă
Deepak Garg
Catalin Hritcu
Marco Patrignani
Éric Tanter
Jérémy Thibault
Show All
Source
Cite
Save
Citations (4)
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)
1