EDBT 2026 Demo / reviewers in the wild / expert
Yuri Gil Dantas
dblp:155/1455
· DBLP profile ↗
6ranked-venue papers
5as first author
4since 2021 · last 2023
0000-0003-0298-2805ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 4 · 3 first-author · 2 since 2021Software engineering, systems software and programming languages · 1 · 1 first-author · 1 since 2021Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology
Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp |
ICISSP | 1 |
| 2023 | SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures
Yuri Gil Dantas, Ulrich Schöpp |
ICISSP | 1 |
| 2023 | Automating Safety and Security Co-design through Semantically Rich Architecture PatternsabstractDuring the design of safety-critical systems, safety and security engineers make use of architecture patterns, such as Watchdog and Firewall, to address identified failures and threats. Often, however, the deployment of safety architecture patterns has consequences on security; e.g., the deployment of a safety architecture pattern may lead to new threats. The other way around may also be possible; i.e., the deployment of a security architecture pattern may lead to new failures. Safety and security co-design is, therefore, required to understand such consequences and tradeoffs in order to reach appropriate system designs. Currently, architecture pattern descriptions, including their consequences, are described using natural language. Therefore, their deployment in system design is carried out manually by experts and thus is time-consuming and prone to human error, especially given the high system complexity. We propose the use of semantically rich architecture patterns to enable automated support for safety and security co-design by using Knowledge Representation and Reasoning (KRR) methods. Based on our domain-specific language, we specify reasoning principles as logic specifications written as answer-set programs. KRR engines enable the automation of safety and security co-engineering activities, including the automated recommendation of which architecture patterns can address failures or threats, and consequences of deploying such patterns. We demonstrate our approach on an example taken from the ISO 21434 standard. Yuri Gil Dantas, Vivek Nigam |
ACM Trans. Cyber Phys. Syst. | 1 |
| 2022 | A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev |
MODELSWARD | 1 |
| 2018 | An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior
Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel, Johannes Schickel |
SEC | 1 |
| 2017 | Slow TCAM Exhaustion DDoS Attack
Túlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam |
SEC | 2 |