Suivre
Carmine Abate
Carmine Abate
MPI-SP
Adresse e-mail validée de mpi-sp.org
Titre
Citée par
Citée par
Année
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
842019
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
432018
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
372021
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
152021
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
82023
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
82021
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
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
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–14