Carmine Abate - RankMe

14 papers A* 1A 3B 1Journal 7Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Debug, Execute, Verify! Development-Verification Co-Design Made Practical. PLOS@SOSP Frantisek Farka, Carmine Abate, Shuanglong Kan, Sebastian Ertel
2023	—	`—`	A formal framework for correct and secure compilation. Carmine Abate
2023	J	`jnl`	SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. ACM Trans. Program. Lang. Syst. Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Carmine Abate, Nikolaj Sidorenco, Catalin Hritcu, Kenji Maillard, Bas Spitters
2021	J	`jnl`	An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Trans. Program. Lang. Syst. Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2021	B	`conf`	Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly. APLAS Carmine Abate, Matteo Busi, Stelios Tsampas
2021	A	`conf`	SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. CSF Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
2021	J	`jnl`	SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. IACR Cryptol. ePrint Arch. Carmine Abate, Philipp G. Haselwarter, Exequiel Rivas, Antoine Van Muylder, Théo Winterhalter, Catalin Hritcu, Kenji Maillard, Bas Spitters
2020	J	`jnl`	The Fox and the Hound: Comparing Fully Abstract and Robust Compilation. CoRR Carmine Abate, Matteo Busi
2020	A	`conf`	Trace-Relating Compiler Correctness and Secure Compilation. ESOP Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2019	A	`conf`	Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. CSF Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
2019	J	`jnl`	Trace-Relating Compiler Correctness and Secure Compilation. CoRR Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
2018	J	`jnl`	Exploring Robust Property Preservation for Secure Compilation. CoRR Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
2018	A*	`conf`	When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CCS 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
2018	J	`jnl`	When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CoRR Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Arthur Azevedo de Amorim, Ana Nora Evans, Carmine Abate, Roberto Blanco, Théo Laurent, Benjamin C. Pierce, Andrew Tolmach