Projects
-
2024
Combined passive and active network monitoring, TAČR, 10. veřejná soutěž - Program na podporu aplikovaného výzkumu, experimentálního vývoje TREND, podprogram 1, FW10010040, 2024-2026, running
Privacy-respecting Explainable Assessment and Collection of Threats, TAČR, 5. veřejná soutěž programu Delta 2, TM05000014, 2024-2025, running
-
2023
Chytré informační technologie pro odolnou společnost, BUT, Vnitřní projekty VUT, FIT-S-23-8209, 2023-2026, running
Cybersecurity Innovation Hub, EU, Digital Europe Programme, 101083932, 2023-2025, running
Czech National Quantum Communication Infrastructure, EU, Digital Europe Programme, 101091684, 2023-2026, running
-
2022
A set of forensic analytic tools for image and video processing for the criminal police and investigation service, MV, Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019–2025 (IMPAKT 1) PODPROGRAMU 1 SPOLEČNÉ VÝZKUMNÉ PROJEKTY (BV IMP1/2VS), VJ02010041, 2022-2025, running
Flow-based Encrypted Traffic Analysis, MV, Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019–2025 (IMPAKT 1) PODPROGRAMU 1 SPOLEČNÉ VÝZKUMNÉ PROJEKTY (BV IMP1/2VS), VJ02010024, 2022-2025, running
-
2021
Context-based Encrypted Traffic Analysis Using Flow Data, TAČR, 3. veřejná soutěž - Program průmyslového výzkumu a experimentálního vývoje TREND, PODPROGRAM 1 – TECHNOLOGIČTÍ LÍDŘI, FW03010099, 2021-2023, running
-
2020
Alliance for developing, teaching and training Digital Forensics and Incident Response students and practitioners, EU, Erasmus+, 2020-1-LI01-KA203-000185, 2020-2023, running
Conformity Assessment Body, TAČR, Národní centra kompetence 1, TN01000077, TN01000077/09, 2020, completed
Metody AI pro zabezpečení kybernetického prostoru a řídicí systémy, BUT, Vnitřní projekty VUT, FIT-S-20-6293, 2020-2023, completed
-
2019
National Center of Competence for Cybersecurity, TAČR, Národní centra kompetence 1, TN01000077, 2019-2022, completed
Security monitoring of ICS communication in the smart grid, MV, Program bezpečnostního výzkumu ČR v letech 2015-2022 (BV III/1-VS), VI20192022138, 2019-2022, running
TRACTOR: TRaffic Analysis and seCuriTy OpeRations for ICS/SCADA, TAČR, Národní centra kompetence 1, TN01000077, TN01000077/02, 2019-2020, completed
-
2018
Introduction of attractive and effective English language studies at FIT, OVZ, Ostatní veřejné zdroje financování nepatřící do institucionálních zdrojů ČR, 2018-2019, running
Výzkum efektivních kryptografických metod pro zvýšení bezpečnosti nastupujících komunikačních technologií v oblasti Internetu věcí, BUT, Vnitřní projekty VUT, FEKT/FIT-J-18-5434, 2018-2019, completed
-
2017
Integrated platform for analysis of digital data from security incidents, MV, Bezpečnostní výzkum České republiky 2015-2020, VI20172020062, 2017-2020, running
Moderní a otevřené studium techniky, EU, OP VVV PO2 ESF výzva pro vysoké školy, 2017-2022, running
Nástroje, metody a technologie ICT pro podporu konceptu smart cities, BUT, Vnitřní projekty VUT, FIT-S-17-3964, 2017-2020, completed
-
2016
IRONSTONE - IoT monitoring and forensics, TAČR, Program podpory spolupráce v aplikovaném výzkumu a experimentálním vývoji prostřednictvím společných projektů technologických a inovačních agentur DELTA, TF03000029, 2016-2019, completed
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, 2016-2020, completed
-
2014
PRISTINE: Programmability in RIna for european Supremacy of virTualIzed NEtworks, EU, Sedmý rámcový program Evropského společenství pro výzkum, technologický rozvoj a demonstrace, PRISTINE, 2014-2016, completed
Výzkum pokročilých metod ICT a jejich aplikace, BUT, Vnitřní projekty VUT, FIT-S-14-2299, 2014-2016, completed
-
2011
Advanced secured, reliable and adaptive IT, BUT, Vnitřní projekty VUT, FIT-S-11-1, 2011-2013, completed
The IT4Innovations Centre of Excellence, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, completed
-
2010
Modern Tools for Detection and Mitigation of Cyber Criminality on the New Generation Internet, MV, Program bezpečnostního výzkumu České republiky 2010 - 2015, VG20102015022, 2010-2015, completed
Secured, reliable and adaptive computer systems, BUT, Vnitřní projekty VUT, FIT-S-10-1, 2010, completed
-
2009
Dependent type system for object-oriented programming languages, GACR, Standardní projekty, GA201/09/1316, 2009, completed
-
2008
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, 2008-2010, completed
Training laboratory for network specialists, FR533/2008/A, 2008, completed
-
2007
Framework for the deductive analysis of embedded software, GACR, Postdoktorandské granty, GP201/07/P544, 2007-2008, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
-
2006
Toward International Learning Environment for Real-Time Safety-Critical Control Systems (ILERT), ATLANTIS-ILERT, 2006-2008, completed
-
2004
Design and implementation of embedded formal verification assistants in the .NET framework, MS1412001, 2004-2005, completed