Project Details

Pokročilé metody hluboké inspekce v aplikační vrstvě pro obranu proti dnešním hrozbám

Project Period: 1. 3. 2019 - 28. 2. 2020

Project Type: grant

Code: FEKT/FIT-J-19-5906

Agency: Brno University of Technology

Program: Vnitřní projekty VUT

English title
Advanced methods of deep inspection in the application layer to defend against today's threats
Type
grant
Keywords

Network threat detection, in-depth analysis of network communication, string analysis

Abstract

The project deals with methods of deep inspection of traffic within the application layer, mainly for HTTP / HTTPs protocols. This means focusing not only on unencrypted classical communication, but on solving the complex issue of encrypted communication between the sender and the recipient. This approach will allow for greater insight into operation and subsequent understanding of the operation and applications themselves. As a result, it will be possible to extend conventional detection systems with advanced algorithms that will be able to detect unwanted traffic through pattern matching and protocol inspection.

Team members
Janků Petr, Ing. (UITS FIT VUT) , research leader
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT) , team leader
Mlýnek Petr, doc. Ing., Ph.D. (FEKT VUT) , team leader
Sláčik Ján, Ing. (FEKT VUT) , team leader
Vargovčík Pavol, Ing. (UITS FIT VUT) , team leader
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT) , team leader
Publications

2019

  • ABDULLA Parosh A., ATIG Mohamed F., BUI Phi Diep, HOLÍK Lukáš and JANKŮ Petr. Chain-Free String Constraints. In: Proceedings of ATVA'19. Lecture Notes in Computer Science, vol. 11781. Cham: Springer International Publishing, 2019, pp. 277-293. ISBN 978-3-030-31783-6. Detail
  • HOLÍKOVÁ Lenka and JANKŮ Petr. Solving String Constraints with Approximate Parikh Image. In: Proceedings of EUROCAST'19. Lecture Notes in Computer Science. Heidelberg: Springer International Publishing, 2019, pp. 1-8. ISBN 978-3-030-45092-2. Detail
  • HOLÍK Lukáš and VARGOVČÍK Pavol. Verification of String Programs via Automata. In: PEFnet 2019 Extended Abstracts. Brno: Mendel University in Brno, 2019, pp. 155-156. ISBN 978-80-7509-692-0. Detail
Products

2019

  • PICoSo: An SMT Solver for String Constraints, software, 2019
    Authors: Holíková Lenka, Janků Petr Detail
Back to top