Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carmine Abate
conf.researchr.org general profile
POPL 2020 profile
POPL 2024 profile
Registered user since Mon 25 Nov 2019
Name:
Carmine Abate
Affiliation:
Inria Paris
Contributions
2024
PriSC
Committee Member in Program Committee within the PriSC 2024-track
2020
PriSC
Author of Trace-Relating Compiler Correctness and Secure Compilation within the Principles of Secure Compilation 2020-track
Share
x
Tue 3 Dec 17:58