Yuri Gil Dantas

20 papers C 3Misc 2Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design.
SN Comput. Sci.
Yuri Gil Dantas, Vivek Nigam, Ulrich Schöpp
2024 — —
Enabling the automation of safety and security co-analysis through lightweight semantics.
Yuri Gil Dantas
2023 J jnl
A Toolchain for Synthesizing and Validating Safety Architectures.
SN Comput. Sci.
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2023 J jnl
Automating Safety and Security Co-design through Semantically Rich Architecture Patterns.
ACM Trans. Cyber Phys. Syst.
Yuri Gil Dantas, Vivek Nigam
2023 C conf
Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology.
ICISSP
Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp
2023 — conf
Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform.
ICSA-C
Tarik Terzimehic, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam, Pei Ke
2023 C conf
SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures.
ICISSP
Yuri Gil Dantas, Ulrich Schöpp
2022 C conf
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis.
MODELSWARD
Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev
2022 J jnl
Automating Safety and Security Co-Design through Semantically-Rich Architectural Patterns.
CoRR
Yuri Gil Dantas, Vivek Nigam
2022 J jnl
Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology.
CoRR
Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp
2020 — conf
A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control.
VNC
Yuri Gil Dantas, Vivek Nigam, Carolyn L. Talcott
2020 — conf
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns.
ICLP Technical Communications
Yuri Gil Dantas, Antoaneta Kondeva, Vivek Nigam
2020 J jnl
Security Engineering for ISO 21434.
CoRR
Yuri Gil Dantas, Vivek Nigam, Harald Ruess
2018 — conf
A Comparative Study Across Static and Dynamic Side-Channel Countermeasures.
FPS
Yuri Gil Dantas, Tobias Hamann, Heiko Mantel
2018 Misc conf
An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior.
SEC
Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel, Johannes Schickel
2018 J jnl
On the accuracy of formal verification of selective defenses for TDoS attacks.
J. Log. Algebraic Methods Program.
Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
2017 J jnl
On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks.
CoRR
Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
2017 Misc conf
Slow TCAM Exhaustion DDoS Attack.
SEC
Túlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam
2016 — conf
Formal Specification and Verification of a Selective Defense for TDoS Attacks.
WRLA
Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam
2014 — conf
A Selective Defense for Application Layer DDoS Attacks.
JISIC
Yuri Gil Dantas, Vivek Nigam, Iguatemi E. Fonseca