Yuri Gil Dantas

Yuri Gil Dantas
Office: S2|02 E322
Phone: +49 6151 16-25255
Fax: +49 6151 16-25251
Mail: dantasatmais.informatik.tu-darmstadt.de

TU Darmstadt

Department of Computer Science

Modeling and Analysis of Information Systems

Hochschulstraße 10

D-64289 Darmstadt


GPG-Key: 4096R/5AFACF5F, Fingerprint: BB0B E0D3 9FC4 F9AC C0C0 55B9 A7CF 40A0 5AFA CF5F.

I received my bachelor's and master's degree in Computer Science in 2013 and 2015, respectively, from
Federal University of Paraiba, Brazil. In my master's thesis, I proposed a novel defense, namely SeVen,
for mitigating Application Layer DDoS attacks. I'm currently a Ph.D. candidate in Computer Science at
Technische Universität Darmstadt. My current research addresses the topic of runtime monitoring and
enforcement for distributed applications.

Research Interests

  • Runtime Monitoring and Enforcement
  • Denial of Service Attacks and Defenses
  • Software-Defined Networking
  • Timing Side-Channel Attacks and Defenses

Theses Topics and Student Assistant Positions

Are you a student looking for a thesis topic or a position as student assistant? I'm constantly looking for motivated students who wants to work with practical solutions for topics e.g. runtime monitoring and enforcement. You are welcome to contact me via email.


These documents have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.


  • 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. To appear.
  • 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), pages 45-67, 2018.


  • 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), pages 17-31, 2017.



  • 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), pages 75-82. 2014.


Services to the Scientific Community

  • I have been reviewing for ESORICS 2017, POST 2018, CSF 2018.

Last modified on 22 October 2018.

A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang