Roberto Blanco

According to our database, Roberto Blanco authored at least 30 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

SECOMP: Formally Secure Compilation of Compartmentalized C Programs.

Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach

CoRR, 2024

2023

Formalizing Stack Safety as a Security Property.

Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.

Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

ACM Trans. Program. Lang. Syst., 2021

Security Properties for Stack Safety.

Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach

CoRR, 2021

2020

Mercury: A modeling, simulation, and optimization framework for data stream-oriented IoT applications.

Román Cárdenas, Patricia Arroba, Roberto Blanco, Pedro Malagón, José L. Risco-Martín, José Manuel Moya

Simul. Model. Pract. Theory, 2020

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

Proceedings of the Programming Languages and Systems, 2020

2019

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

CoRR, 2019

Property-Based Testing via Proof Reconstruction.

Roberto Blanco, Dale Miller, Alberto Momigliano

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Predictive GPU-based ADAS Management in Energy-Conscious Smart Cities.

Sergio Pérez, Jaime Pérez, Patricia Arroba, Roberto Blanco, José L. Ayala, José Manuel Moya

Proceedings of the 2019 IEEE International Smart Cities Conference, 2019

Anomaly Detection Using Gaussian Mixture Probability Model to Implement Intrusion Detection System.

Roberto Blanco, Pedro Malagón, Samira Briongos, José Manuel Moya

Proceedings of the Hybrid Artificial Intelligent Systems - 14th International Conference, 2019

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation.

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

2018

Exploring Robust Property Preservation for Secure Compilation.

Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault

CoRR, 2018

Multiclass Network Attack Classifier Using CNN Tuned with Genetic Algorithms.

Roberto Blanco, Pedro Malagón, Juan J. Cilla, José Manuel Moya

Proceedings of the 28th International Symposium on Power and Timing Modeling, 2018

Applying Cost-Sensitive Classifiers with Reinforcement Learning to IDS.

Roberto Blanco, Juan J. Cilla, Samira Briongos, Pedro Malagón, José Manuel Moya

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2018, 2018

Tuning CNN Input Layout for IDS with Genetic Algorithms.

Roberto Blanco, Juan J. Cilla, Pedro Malagón, Ignacio Penas, José Manuel Moya

Proceedings of the Hybrid Artificial Intelligent Systems - 13th International Conference, 2018

The Effect of Tissue Physiological Variability on Transurethral Ultrasound Therapy of the Prostate.

Visa Suomi, Bradley E. Treeby, Jirí Jaros, Jani Saunavaara, Aida Kiviniemi, Roberto Blanco

Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise.

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

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Translating Between Implicit and Explicit Versions of Proof.

Roberto Blanco, Zakaria Chihani, Dale Miller

Proceedings of the Automated Deduction - CADE 26, 2017

2015

Proof Outlines as Proof Certificates: A System Description.

Roberto Blanco, Dale Miller

Proceedings of the Proceedings First International Workshop on Focusing, 2015

Defining the meaning of TPTP formatted proofs.

Roberto Blanco, Tomer Libal, Dale Miller

Proceedings of the IWIL@LPAR 2015, 2015

2013

Temporal Logics for Phylogenetic Analysis via Model Checking.

José Ignacio Requeno, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom

IEEE ACM Trans. Comput. Biol. Bioinform., 2013

2012

Sliced Model Checking for Phylogenetic Analysis.

José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom

Proceedings of the 6th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2012

2011

Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge.

Roberto Blanco, Elvira Mayordomo, Julio Montoya, Eduardo Ruiz-Pesini

BMC Bioinform., 2011

Phylogenetic Analysis Using an SMV Tool.

José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom

Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011

Workflows with Model Selection: A Multilocus Approach to Phylogenetic Analysis.

Jorge Álvarez, Roberto Blanco, Elvira Mayordomo

Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011

Simplification Methods for Maximum Parsimony: A Relational View.

Roberto Blanco

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2011

2010

Scalable Phylogenetics through Input Preprocessing.

Roberto Blanco, Elvira Mayordomo, Esther Montes, Rafael Mayo, Angelines Alberto

Proceedings of the Advances in Bioinformatics, 2010

Structural parsimony: Reductions in sequence space.

Roberto Blanco

Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine, 2010

2009

ZARAMIT: A System for the Evolutionary Study of Human Mitochondrial DNA.

Roberto Blanco, Elvira Mayordomo

Proceedings of the Distributed Computing, 2009