| 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 | 95 | 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 | 47 | 2018 |
| 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 | 24 | 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 | 22 | 2021 |
| Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge R Blanco, E Mayordomo, J Montoya, E Ruiz-Pesini BMC bioinformatics 12, 1-13, 2011 | 20 | 2011 |
| Translating between implicit and explicit versions of proof R Blanco, Z Chihani, D Miller Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 17 | 2017 |
| Temporal logics for phylogenetic analysis via model checking R Blanco, G de Miguel Casado, JI Requeno, JM Colom 2010 IEEE International Conference on Bioinformatics and Biomedicine …, 2010 | 12 | 2010 |
| Proof outlines as proof certificates: a system description R Blanco, D Miller arXiv preprint arXiv:1511.04178, 2015 | 10 | 2015 |
| ZARAMIT: a system for the evolutionary study of human mitochondrial DNA R Blanco, E Mayordomo International Work-Conference on Artificial Neural Networks, 1139-1142, 2009 | 10 | 2009 |
| 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 | 8 | 2022 |
| Property-based testing via proof reconstruction R Blanco, D Miller, A Momigliano Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 8 | 2019 |
| Phylogenetic analysis using an SMV tool JI Requeno, R Blanco, G de Miguel Casado, JM Colom 5th International Conference on Practical Applications of Computational …, 2011 | 8 | 2011 |
| Sliced model checking for phylogenetic analysis JI Requeno, R Blanco, G de Miguel Casado, JM Colom 6th International Conference on Practical Applications of Computational …, 2012 | 7 | 2012 |
| 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 | 6 | 2018 |
| Formalizing stack safety as a security property SN Anderson, R Blanco, L Lampropoulos, BC Pierce, A Tolmach 2023 IEEE 36th Computer Security Foundations Symposium (CSF), 356-371, 2023 | 5 | 2023 |
| Property-based testing via proof reconstruction work-in-progress R Blanco, D Miller, A Momigliano LFMTP 17: Logical Frameworks and Meta-Languages: Theory and Practice, 2017 | 5 | 2017 |
| Temporal logics for phylogenetic analysis via model checking JI Requeno, G de Miguel Casado, R Blanco, JM Colom IEEE/ACM Transactions on Computational Biology and Bioinformatics 10 (4 …, 2013 | 5 | 2013 |
| Workflows with model selection: A multilocus approach to phylogenetic analysis J Alvarez, R Blanco, E Mayordomo 5th International Conference on Practical Applications of Computational …, 2011 | 5 | 2011 |
| 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 | 2 | 2024 |
| FPC-Coq: Using Elpi to elaborate external proof evidence into Coq proofs R Blanco, M Manighetti, D Miller Inria Saclay, 2020 | 2 | 2020 |
