Follow
Carmine Abate
Carmine Abate
MPI-SP
Verified email at mpi-sp.org
Title
Cited by
Cited by
Year
Journey beyond full abstraction: Exploring robust property preservation for secure compilation
C Abate, R Blanco, D Garg, C Hritcu, M Patrignani, J Thibault
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 256-25615, 2019
792019
When good components go bad: Formally secure compilation despite dynamic compromise
C Abate, A Azevedo de Amorim, R Blanco, AN Evans, G Fachini, C Hritcu, ...
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
422018
Ssprove: A foundational framework for modular cryptographic proofs in coq
C Abate, PG Haselwarter, E Rivas, A Van Muylder, T Winterhalter, ...
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-15, 2021
332021
Trace-relating compiler correctness and secure compilation
C Abate, R Blanco, Ș Ciobâcă, A Durier, D Garg, C Hrițcu, M Patrignani, ...
Programming Languages and Systems: 29th European Symposium on Programming …, 2020
212020
An extended account of trace-relating compiler correctness and secure compilation
C Abate, R Blanco, Ş Ciobâcă, A Durier, D Garg, C Hriţcu, M Patrignani, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-48, 2021
142021
Fully abstract and robust compilation: and how to reconcile the two, abstractly
C Abate, M Busi, S Tsampas
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021
72021
Exploring robust property preservation for secure compilation
C Abate, R Blanco, D Garg, C Hritcu, M Patrignani, J Thibault
arXiv preprint arXiv:1807.04603, 2018
72018
SSProve: A foundational framework for modular cryptographic proofs in Coq
PG Haselwarter, E Rivas, A Van Muylder, T Winterhalter, C Abate, ...
ACM Transactions on Programming Languages and Systems 45 (3), 1-61, 2023
52023
A formal framework for correct and secure compilation
C Abate
2023
Programming Languages and Systems
M Vukasovic, A Prokopec, A Boruch-Gruszecki, M Odersky, E Lee, ...
ACM Transactions on 45 (4), 2023
2023
The Fox and the Hound: Comparing Fully Abstract and Robust Compilation.
C Abate, M Busi
CoRR, 2020
2020
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
G Fachini, C Hriţcu, M Stronati, A Azevedo de Amorim, C Abate, R Blanco, ...
2018
List of External Reviewers CSF 2021 (all submission cycles)
C Abate, AA de Amorim, T Antonopoulos, C Badertscher, G Battiston, ...
Journey Beyond Full Abstraction
C Abate, R Blanco, D Garg, C Hritcu, M Patrignani, J Thibault
The system can't perform the operation now. Try again later.
Articles 1–14