Get started
Author

Yuri Gil Dantas

Observed names: Dantas, Yuri Gil, Dantas, Yuri, G., Yuri Dantas, Yuri G. Dantas
Institution: Fortiss
ORCID: 0000-0003-0298-2805
Observed ORCID: 0000-0003-0298-2805
OpenAlex ID: A5085937717
Slow TCAM Exhaustion DDoS Attack
2017 · Túlio A. Pascoal, Yuri G. Dantas, et al. · IFIP advances in information and communication technology · 76
A Selective Defense for Application Layer DDoS Attacks
2014 · Yuri Gil Dantas, Vivek Nigam, et al. · 61
Automating Safety and Security Co-design through Semantically Rich Architecture Patterns
2022 · Yuri Gil Dantas, Vivek Nigam · ACM Transactions on Cyber-Physical Systems · 14
PDF
Security Engineering for ISO 21434
2020 · Dantas, Yuri Gil, Nigam, Vivek, et al. · arXiv (Cornell University) · 13
PDF
A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control
2020 · Yuri Gil Dantas, Vivek Nigam, et al. · IEEE Vehicular Networking Conference (VNC) · 12
On the accuracy of formal verification of selective defenses for TDoS attacks
2017 · Marcilio O.O. Lemos, Yuri Gil Dantas, et al. · Journal of Logical and Algebraic Methods in Programming · 7
PDF
A Model-based System Engineering Plugin for Safety Architecture Pattern Synthesis
2022 · Yuri Dantas, Tiziano Munaro, et al. · International Conference on Model-Driven Engineering and Software Development · 6
An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior
2018 · Yuri Gil Dantas, Richard Gay, et al. · IFIP advances in information and communication technology · 6
Formal Specification and Verification of a Selective Defense for TDoS Attacks
2016 · Yuri Gil Dantas, Marcilio O. O. Lemos, et al. · Lecture notes in computer science · 6
Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology
2023 · Yuri Dantas, Simon Barner, et al. · International Conference on Information Systems Security and Privacy (ICISSP) · 5
Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform
2023 · Tarik Terzimehić, Simon Barner, et al. · IEEE International Conference on Software Architecture Companion (ICSA-C) · 4
A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design
2024 · Yuri Gil Dantas, Vivek Nigam, et al. · SN Computer Science · 3
A Toolchain for Synthesizing and Validating Safety Architectures
2023 · Yuri Gil Dantas, Tiziano Munaro, et al. · SN Computer Science · 1
SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures
2023 · Yuri Dantas, Ulrich Schöpp · International Conference on Information Systems Security and Privacy (ICISSP) · 1
Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns
2020 · Yuri Gil Dantas, Antoaneta Kondeva, et al. · Electronic Proceedings in Theoretical Computer Science · 1
A Comparative Study Across Static and Dynamic Side-Channel Countermeasures
2019 · Yuri Gil Dantas, Tobias Hamann, et al. · Lecture notes in computer science · 1
An Experimental Study of a Bucketing Approach
2017 · Yuri Gil Dantas, Tobias Hamann, et al. · 1
Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology
2022 · Dantas, Yuri Gil, Barner, Simon, et al. · arXiv (Cornell University)
PDF
Towards Automating Safety and Security Co-Analysis with Patterns
2020 · Dantas, Yuri, G., Kondeva, Antoaneta, et al. · HAL
Estratégias para tratamento de ataques de negação de serviço na camada de aplicação em redes IP
2015 · Yuri Gil Dantas · LA Referencia (Red Federada de Repositorios Institucionales de Publicaciones Científicas)
Works count: 20
Citation count: 218
H-index: 6
I10-index: 5
Year
Topic
Type