| 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 |
| 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 |
| 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 |
| SecurePtrs: Proving secure compilation with data-flow back-translation and turn-taking simulation A El-Korashy, R Blanco, J Thibault, A Durier, D Garg, C Hriţcu 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 64-79, 2022 | 6 | 2022 |
| Nanopass back-translation of multiple traces for secure compilation proofs J Thibault, C Hriţcu Ret 3, 5, 2021 | 4 | 2021 |
| SECOMP: Formally Secure Compilation of Compartmentalized C Programs J Thibault, R Blanco, D Lee, S Argo, AA de Amorim, AL Georges, C Hritcu, ... arXiv preprint arXiv:2401.16277, 2024 | | 2024 |
| Improving language-based predictive mitigation for information-flow security J Thibault, A Askarov | | |
| Journey Beyond Full Abstraction C Abate, R Blanco, D Garg, C Hritcu, M Patrignani, J Thibault | | |
| Language-based predictive mitigation for systems with asynchronous I/O J Thibault, A Askarov | | |
| SECOMP2CHERI: Securely Compiling Compartments from CompCert C to a Capability Machine J Thibault, AA de Amorim, R Blanco | | |
| A Trace-Based Proof Technique for Secure Compilation J Thibault | | |
