| 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 | 87 | 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 | 44 | 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 | 37 | 2021 |
| 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 | 22 | 2020 |
| 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 | 17 | 2021 |
| 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 | 12 | 2023 |
| 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 | 9 | 2021 |
| 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 | 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 | | |
