default search action
Roberto Blanco
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c24]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. CCS 2024: 1061-1075 - [i7]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 abs/2401.16277 (2024) - 2023
- [c23]Sean Noble Anderson, Roberto Blanco, Leonidas Lampropoulos, Benjamin C. Pierce, Andrew Tolmach:
Formalizing Stack Safety as a Security Property. CSF 2023: 356-371 - [i6]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 abs/2312.02172 (2023) - 2022
- [c22]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: 64-79 - 2021
- [j4]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): 14:1-14:48 (2021) - [i5]Sean Noble Anderson, Leonidas Lampropoulos, Roberto Blanco, Benjamin C. Pierce, Andrew Tolmach:
Security Properties for Stack Safety. CoRR abs/2105.00417 (2021) - [i4]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 abs/2110.01439 (2021) - 2020
- [j3]Román Cárdenas
Mercury: A modeling, simulation, and optimization framework for data stream-oriented IoT applications. Simul. Model. Pract. Theory 101: 102037 (2020) - [c21]Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani
Trace-Relating Compiler Correctness and Secure Compilation. ESOP 2020: 1-28
2010 – 2019
- 2019
- [c20]Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. CSF 2019: 256-271 - [c19]Roberto Blanco, Pedro Malagón, Samira Briongos, José Manuel Moya
Anomaly Detection Using Gaussian Mixture Probability Model to Implement Intrusion Detection System. HAIS 2019: 648-659 - [c18]Sergio Pérez, Jaime Pérez
Predictive GPU-based ADAS Management in Energy-Conscious Smart Cities. ISC2 2019: 349-354 - [c17]Roberto Blanco, Dale Miller
Property-Based Testing via Proof Reconstruction. PPDP 2019: 5:1-5:13 - [i3]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 abs/1907.05320 (2019) - 2018
- [c16]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: 1351-1368 - [c15]Visa Suomi
The Effect of Tissue Physiological Variability on Transurethral Ultrasound Therapy of the Prostate. EMBC 2018: 5701-5704 - [c14]Roberto Blanco, Juan J. Cilla, Pedro Malagón, Ignacio Penas, José Manuel Moya
Tuning CNN Input Layout for IDS with Genetic Algorithms. HAIS 2018: 197-209 - [c13]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: 531-538 - [c12]Roberto Blanco, Pedro Malagón, Juan J. Cilla, José Manuel Moya
Multiclass Network Attack Classifier Using CNN Tuned with Genetic Algorithms. PATMOS 2018: 177-182 - [i2]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 abs/1802.00588 (2018) - [i1]Carmine Abate, Roberto Blanco, Deepak Garg, Catalin Hritcu, Marco Patrignani, Jérémy Thibault:
Exploring Robust Property Preservation for Secure Compilation. CoRR abs/1807.04603 (2018) - 2017
- [c11]Roberto Blanco, Zakaria Chihani, Dale Miller
Translating Between Implicit and Explicit Versions of Proof. CADE 2017: 255-273 - 2015
- [c10]Roberto Blanco, Tomer Libal, Dale Miller:
Defining the meaning of TPTP formatted proofs. IWIL@LPAR 2015: 78-90 - [c9]Roberto Blanco, Dale Miller
Proof Outlines as Proof Certificates: A System Description. WoF'15 2015: 7-14 - 2013
- [j2]José Ignacio Requeno
Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 10(4): 1058-1070 (2013) - 2012
- [c8]José Ignacio Requeno
Sliced Model Checking for Phylogenetic Analysis. PACBB 2012: 95-103 - 2011
- [j1]Roberto Blanco, Elvira Mayordomo
Rebooting the human mitochondrial phylogeny: an automated and scalable methodology with expert knowledge. BMC Bioinform. 12: 174 (2011) - [c7]Roberto Blanco:
Simplification Methods for Maximum Parsimony: A Relational View. BIBM 2011: 49-56 - [c6]Jorge Álvarez, Roberto Blanco, Elvira Mayordomo
Workflows with Model Selection: A Multilocus Approach to Phylogenetic Analysis. PACBB 2011: 39-47 - [c5]José Ignacio Requeno
Phylogenetic Analysis Using an SMV Tool. PACBB 2011: 167-174 - 2010
- [c4]Roberto Blanco:
Structural parsimony: Reductions in sequence space. BIBM 2010: 57-61 - [c3]Roberto Blanco, Gregorio de Miguel Casado, José Ignacio Requeno
Temporal logics for phylogenetic analysis via model checking. BIBM Workshops 2010: 152-157 - [c2]Roberto Blanco, Elvira Mayordomo
Scalable Phylogenetics through Input Preprocessing. IWPACBB 2010: 123-130
2000 – 2009
- 2009
- [c1]Roberto Blanco, Elvira Mayordomo
ZARAMIT: A System for the Evolutionary Study of Human Mitochondrial DNA. IWANN (2) 2009: 1139-1142
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 20:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: