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
Network threat detection, in-depth analysis of network communication, string analysis
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.
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT) , team leader
Mlýnek Petr, doc. Ing., Ph.D. (FEEC BUT) , team leader
Sláčik Ján, Ing. (FEEC BUT) , team leader
Vargovčík Pavol, Ing. (DITS FIT BUT) , team leader
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT) , team leader
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
2019
- PICoSo: An SMT Solver for String Constraints, software, 2019
Authors: Holíková Lenka, Janků Petr Detail