Who am I?

Academic and professional career so far

I obtained my bachelor's and master's degrees in Computer Science from the Federal University of Paraíba, Brazil. My journey then took me to Germany, where I worked as a research assistant at MAIS, TU Darmstadt. At MAIS, my research focused on developing runtime monitoring and enforcement mechanisms to mitigate cybersecurity threats. Next, I advanced my research career at fortiss GmbH in Munich, focusing on innovative techniques to integrate and automate cybersecurity and functional safety methods for safety-critical systems, particularly in automated driving systems. I received my doctoral degree in Computer Science from Ludwig-Maximilians-Universität München (LMU Munich). In 2023, I crossed from academia to industry to work as a senior cybersecurity architect at FEV.io GmbH. At FEV.io, I primarily focus on cybersecurity within automotive development projects.

Research interests

• Denial of service attacks and defenses
• Model-driven safety and security
• Reasoning principles for safety and security architecture patterns
• Runtime monitoring and enforcement
• Software-Defined Networking

Publications

1. Yuri Gil Dantas. Enabling the Automation of Safety and Security Co-Analysis through Lightweight Semantics. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics, 2024.
2. Yuri Gil Dantas, Vivek Nigam, and Ulrich Schoepp. A Model-Based Systems Engineering Plugin for Cloud Security Architecture Design. SN Computer Science Journal, 2024.
3. Yuri Gil Dantas, Tiziano Munaro, Carmen Carlan, Vivek Nigam, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schoepp and Sergey Tverdyshev. A Toolchain for Synthesizing and Validating Safety Architectures. In Proceedings of the SN Computer Science Journal, 2023
4. Yuri Gil Dantas and Ulrich Schoepp. SeCloud: Computer-Aided Support for Selecting Security Measures for Cloud Architectures. In Proceedings of the International Conference on Information Systems Security and Privacy (ICISSP), 2023
5. Yuri Gil Dantas, Simon Barner, Pei Ke, Vivek Nigam and Ulrich Schoepp. Automating Vehicle SOA Threat Analysis using a Model-Based Methodology. In Proceedings of the International Conference on Information Systems Security and Privacy (ICISSP), 2023
6. Yuri Gil Dantas and Vivek Nigam. Automating Safety and Security Co-Design through Semantically-Rich Architectural Patterns. In Proceedings of the ACM Transactions on Cyber-Physical Systems (TCPS), 2022
7. Yuri Gil Dantas, Tiziano Munaro, Carmen Carlan, Simon Barner, Shiqing Fan, Alexander Pretschner, Ulrich Schoepp and Sergey Tverdyshev. A Model-Based System Engineering Plugin for Safety Architecture Pattern Synthesis. In Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 2022
8. Yuri Gil Dantas, Vivek Nigam and Carolyn Talcott. A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control. In Proceedings of the 12th IEEE Vehicular Networking Conference (VNC), 2020
9. Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam. Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns. In Proceedings of the 36th International Conference on Logic Programming (ICLP), 2020
10. Yuri Gil Dantas, Tobias Hamann and Heiko Mantel. A Comparative Study across Static and Dynamic Side-Channel Countermeasures. In Proceedings of the 11th International Symposium on Foundations & Practice of Security (FPS), 2018.
11. Yuri Gil Dantas, Richard Gay, Tobias Hamann, Heiko Mantel and Johannes Schickel. An Evaluation of Bucketing in Systems with Non-Deterministic Timing Behavior. In Proceedings of the 33nd International Conference on ICT Systems Security and Privacy Protection (IFIPSEC), 2018.
12. Marcilio O.O.Lemos, Yuri Gil Dantas, Iguatemi E. Fonseca and Vivek Nigam. On the Accuracy of Formal Verification of Selective Defenses for TDoS Attacks. In Proceedings of the Journal of Logical and Algebraic Methods in Programming (JLAMP), 2018.
13. Tulio A. Pascoal, Yuri Gil Dantas, Iguatemi E. Fonseca and Vivek Nigam. Slow TCAM Exhaustion DDoS Attack. In Proceedings of the 32nd International Conference on ICT Systems Security and Privacy Protection (IFIPSEC), 2017.
14. Yuri Gil Dantas, Marcilio O. O. Lemos, Iguatemi Fonseca and Vivek Nigam. Formal Specification and Verification of a Selective Defense for TDoS Attacks. In Proceedings of the 11th International Workshop on Rewriting Logic and its Applications (WRLA), 2016.
15. Yuri Gil Dantas, Vivek Nigam and Iguatemi E. Fonseca. A Selective Defense for Application Layer DDoS Attacks. In Proceedings of the Joint Intelligence and Security Informatics Conference (JISIC), 2014

Where to find my publications

• DBLP
• Google Scholar
• ResearchGate

Services to the scientific community

Awards

• 2022: Best Student Paper Award @ MODELSWARD 2022
• 2020: Best Research 2020 @ fortiss GmbH (2nd place)
• 2016: Top Student Certificate @ International Cyber Security Summer School
• 2014: Academic Laureate Award, Bachelor @ Federal University of Paraiba (3rd place)

Contact