Roberto Blanco

38 papers A* 3A 6C 1Misc 5Journal 12Unranked 11

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