Roberto Blanco
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2009–2024
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCS | SECOMP: Formally Secure Compilation of Compartmentalized C Programs. | Jrmy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Ana Linn Georges, Catalin Hritcu, Andrew Tolmach |
| 2020 | ESOP | Trace-Relating Compiler Correctness and Secure Compilation. | Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, ric Tanter, Jrmy Thibault |
| 2019 | HAIS | Anomaly Detection Using Gaussian Mixture Probability Model to Implement Intrusion Detection System. | Roberto Blanco, Pedro Malagn, Samira Briongos, Jos Manuel Moya |
| 2019 | PPDP | Property-Based Testing via Proof Reconstruction. | Roberto Blanco, Dale Miller, Alberto Momigliano |
| 2018 | CCS | 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, Tho Laurent, Benjamin C. Pierce, Marco Stronati, Andrew Tolmach |
| 2018 | HAIS | Tuning CNN Input Layout for IDS with Genetic Algorithms. | Roberto Blanco, Juan J. Cilla, Pedro Malagn, Ignacio Penas, Jos Manuel Moya |
| 2018 | IDEAL | Applying Cost-Sensitive Classifiers with Reinforcement Learning to IDS. | Roberto Blanco, Juan J. Cilla, Samira Briongos, Pedro Malagn, Jos Manuel Moya |
| 2017 | CADE | Translating Between Implicit and Explicit Versions of Proof. | Roberto Blanco, Zakaria Chihani, Dale Miller |
| 2015 | LPAR | Defining the meaning of TPTP formatted proofs. | Roberto Blanco, Tomer Libal, Dale Miller |
| 2012 | PACBB | Sliced Model Checking for Phylogenetic Analysis. | Jos Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, Jos Manuel Colom |
| 2011 | PACBB | Workflows with Model Selection: A Multilocus Approach to Phylogenetic Analysis. | Jorge lvarez, Roberto Blanco, Elvira Mayordomo |
| 2011 | PACBB | Phylogenetic Analysis Using an SMV Tool. | Jos Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, Jos Manuel Colom |
| 2009 | IWANN | ZARAMIT: A System for the Evolutionary Study of Human Mitochondrial DNA. | Roberto Blanco, Elvira Mayordomo |