Carmine Abate

According to our database, Carmine Abate authored at least 12 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Debug, Execute, Verify! Development-Verification Co-Design Made Practical.

Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel

Proceedings of the 13th Workshop on Programming Languages and Operating Systems, 2025

2023

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters

ACM Trans. Program. Lang. Syst., September, 2023

A formal framework for correct and secure compilation.

Carmine Abate

PhD thesis, 2023

2021

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

ACM Trans. Program. Lang. Syst., 2021

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq.

Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly.

Carmine Abate, Matteo Busi, Stelios Tsampas

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

The Fox and the Hound: Comparing Fully Abstract and Robust Compilation.

Carmine Abate, Matteo Busi

CoRR, 2020

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

Proceedings of the Programming Languages and Systems, 2020

2019

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

CoRR, 2019

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Exploring Robust Property Preservation for Secure Compilation.

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

CoRR, 2018

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.

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

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018