| 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 | 106 | 2019 |
| 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 | 53 | 2018 |
| 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 | 50 | 2021 |
| 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 | 25 | 2021 |
| Trace-relating compiler correctness and secure compilation C Abate, R Blanco, Ș Ciobâcă, A Durier, D Garg, C Hrițcu, M Patrignani, ... European Symposium on Programming, 1-28, 2020 | 25 | 2020 |
| 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 | 24 | 2023 |
| Fully abstract and robust compilation: and how to reconcile the two, abstractly C Abate, M Busi, S Tsampas Asian Symposium on Programming Languages and Systems, 83-101, 2021 | 10 | 2021 |
| Exploring robust property preservation for secure compilation C Abate, R Blanco, D Garg, C Hritcu, M Patrignani, J Thibault CoRR, 2018 | 7 | 2018 |
| 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 | | |
