Roberto Blanco

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 24

Top Topics

Genetic Algorithm

Intrusion Detection System

Top Venues

Publications

Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach
SECOMP: Formally Secure Compilation of Compartmentalized C Programs. CoRR (2024)
Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach
Formalizing Stack Safety as a Security Property. CSF (2023)
Román Cárdenas, Patricia Arroba, Roberto Blanco, Pedro Malagón, José L. Risco-Martín, José Manuel Moya
Mercury: A modeling, simulation, and optimization framework for data stream-oriented IoT applications. CoRR (2023)
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. CSF (2022)
Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach
Security Properties for Stack Safety. CoRR (2021)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. CoRR (2021)
Román Cárdenas, Patricia Arroba, Roberto Blanco, Pedro Malagón, José L. Risco-Martín, José Manuel Moya
Mercury: A modeling, simulation, and optimization framework for data stream-oriented IoT applications. Simul. Model. Pract. Theory 101 (2020)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Trace-Relating Compiler Correctness and Secure Compilation. ESOP (2020)
Roberto Blanco, Pedro Malagón, Samira Briongos, José Manuel Moya
Anomaly Detection Using Gaussian Mixture Probability Model to Implement Intrusion Detection System. HAIS (2019)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Trace-Relating Compiler Correctness and Secure Compilation. CoRR (2019)
Sergio Pérez, Jaime Pérez, Patricia Arroba, Roberto Blanco, José L. Ayala, José Manuel Moya
Predictive GPU-based ADAS Management in Energy-Conscious Smart Cities. ISC2 (2019)
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. CSF (2019)
Roberto Blanco, Dale Miller, Alberto Momigliano
Property-Based Testing via Proof Reconstruction. PPDP (2019)
Roberto Blanco, Pedro Malagón, Juan J. Cilla, José Manuel Moya
Multiclass Network Attack Classifier Using CNN Tuned with Genetic Algorithms. PATMOS (2018)
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
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CCS (2018)
Roberto Blanco, Juan J. Cilla, Pedro Malagón, Ignacio Penas, José Manuel Moya
Tuning CNN Input Layout for IDS with Genetic Algorithms. HAIS (2018)
Visa Suomi, Bradley E. Treeby, Jirí Jaros, Jani Saunavaara, Aida Kiviniemi, Roberto Blanco
The Effect of Tissue Physiological Variability on Transurethral Ultrasound Therapy of the Prostate. EMBC (2018)
Roberto Blanco, Juan J. Cilla, Samira Briongos, Pedro Malagón, José Manuel Moya
Applying Cost-Sensitive Classifiers with Reinforcement Learning to IDS. IDEAL (1) (2018)
Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Arthur Azevedo de Amorim, Ana Nora Evans, Carmine Abate, Roberto Blanco, Théo Laurent, Benjamin C. Pierce, Andrew Tolmach
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise. CoRR (2018)
Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault
Exploring Robust Property Preservation for Secure Compilation. CoRR (2018)
Roberto Blanco, Zakaria Chihani, Dale Miller
Translating Between Implicit and Explicit Versions of Proof. CADE (2017)
Roberto Blanco, Dale Miller
Proof Outlines as Proof Certificates: A System Description. WoF'15 (2015)
Roberto Blanco, Tomer Libal, Dale Miller
Defining the meaning of TPTP formatted proofs. IWIL@LPAR (2015)
José Ignacio Requeno, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom
Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (4) (2013)
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
Sliced Model Checking for Phylogenetic Analysis. PACBB (2012)
Roberto Blanco
Simplification Methods for Maximum Parsimony: A Relational View. BIBM (2011)
Jorge Álvarez, Roberto Blanco, Elvira Mayordomo
Workflows with Model Selection: A Multilocus Approach to Phylogenetic Analysis. PACBB (2011)
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
Phylogenetic Analysis Using an SMV Tool. PACBB (2011)
Roberto Blanco, Elvira Mayordomo, Julio Montoya, Eduardo Ruiz-Pesini
Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinform. 12 (2011)
Roberto Blanco, Elvira Mayordomo, Esther Montes, Rafael Mayo, Angelines Alberto
Scalable Phylogenetics through Input Preprocessing. IWPACBB (2010)
Roberto Blanco
Structural parsimony: Reductions in sequence space. BIBM (2010)
Roberto Blanco, Gregorio de Miguel Casado, José Ignacio Requeno, José Manuel Colom
Temporal logics for phylogenetic analysis via model checking. BIBM Workshops (2010)
Roberto Blanco, Elvira Mayordomo
ZARAMIT: A System for the Evolutionary Study of Human Mitochondrial DNA. IWANN (2) (2009)