Yuri Gil Dantas

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 18

Top Topics

Formal Verification

Security Measures

Top Venues

SN Comput. Sci.

Publications

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