Yuri Gil Dantas

According to our database, Yuri Gil Dantas authored at least 17 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Toolchain for Synthesizing and Validating Safety Architectures.

Yuri Gil Dantas, Tiziano Munaro, Carmen Cârlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schöpp, Sergey Tverdyshev

SN Comput. Sci., July, 2023

Automating Safety and Security Co-design through Semantically Rich Architecture Patterns.

Yuri Gil Dantas, Vivek Nigam

ACM Trans. Cyber Phys. Syst., January, 2023

Safety-Aware Deployment Synthesis and Trade-Off Analysis of Apollo Autonomous Driving Platform.

Tarik Terzimehic, Simon Barner, Yuri Gil Dantas, Ulrich Schöpp, Vivek Nigam, Pei Ke

Proceedings of the 20th International Conference on Software Architecture, 2023

SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures.

Yuri Gil Dantas, Ulrich Schöpp

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

Automating Vehicle SOA Threat Analysis Using a Model-Based Methodology.

Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp

Proceedings of the 9th International Conference on Information Systems Security and Privacy, 2023

2022

Technical Report: Automating Vehicle SOA Threat Analysis using a Model-Based Methodology.

Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam, Ulrich Schöpp

CoRR, 2022

Automating Safety and Security Co-Design through Semantically-Rich Architectural Patterns.

Yuri Gil Dantas, Vivek Nigam

CoRR, 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

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2020

Security Engineering for ISO 21434.

Yuri Gil Dantas, Vivek Nigam, Harald Ruess

CoRR, 2020

Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns.

Yuri Gil Dantas, Antoaneta Kondeva, Vivek Nigam

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control.

Yuri Gil Dantas, Vivek Nigam, Carolyn L. Talcott

Proceedings of the IEEE Vehicular Networking Conference, 2020

2018

On the accuracy of formal verification of selective defenses for TDoS attacks.

Marcilio O. O. Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam

J. Log. Algebraic Methods Program., 2018

An Evaluation of Bucketing in Systems with Non-deterministic Timing Behavior.

Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel, Johannes Schickel

Proceedings of the ICT Systems Security and Privacy Protection, 2018

A Comparative Study Across Static and Dynamic Side-Channel Countermeasures.

Yuri Gil Dantas, Tobias Hamann, Heiko Mantel

Proceedings of the Foundations and Practice of Security - 11th International Symposium, 2018

2017

Slow TCAM Exhaustion DDoS Attack.

Túlio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca, Vivek Nigam

Proceedings of the ICT Systems Security and Privacy Protection, 2017

2016

Formal Specification and Verification of a Selective Defense for TDoS Attacks.

Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi E. Fonseca, Vivek Nigam

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

2014

A Selective Defense for Application Layer DDoS Attacks.

Yuri Gil Dantas, Vivek Nigam, Iguatemi E. Fonseca

Proceedings of the IEEE Joint Intelligence and Security Informatics Conference, 2014