Nástroje pro verifikaci bezpečnosti kryptografických zařízení s využitím AI

Poskytovatel

Ministerstvo vnitra

Program

Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019 - 2025 (IMPAKT 1)

Veřejná soutěž

SMV02020VJ003

Hlavní účastníci

Vysoké učení technické v Brně / Fakulta elektrotechniky a komunikačních technologií

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

VJ02010010 - Smlouva o poskytnutí podpory

Název projektu anglicky

Tools for AI-enhanced Security Verification of Cryptographic Devices

Anotace anglicky

The project addresses current shortage of tools for the analysis and verification of security certifications for devices used in cybersecurity. In particular, for hardware devices implementing cryptographic algorithms, such as smartcards, it is currently difficult in the Czech Republic to verify the declared levels of security reliably. That prevents performing risk analysis of systems based on these devices and, therefore, their use by national security agencies and critical information infrastructures. The project will deliver novel hardware and software tools based on the AI principles that will be usable for specific steps in automated verification of device security with respect to either declared certification or manufacturer’s/vendor’s statement.

Kategorie VaV

VV - Experimentální vývoj

OECD FORD - hlavní obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - vedlejší obor

20201 - Electrical and electronic engineering

OECD FORD - další vedlejší obor

20206 - Computer hardware and architecture

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika<br>JA - Elektronika a optoelektronika, elektrotechnika<br>JB - Senzory, čidla, měření a regulace<br>JC - Počítačový hardware a software

Zahájení řešení

1. 1. 2022

Ukončení řešení

31. 12. 2025

Poslední stav řešení

B - Běžící víceletý projekt

Poslední uvolnění podpory

30. 3. 2023

Důvěrnost údajů

C - Předmět řešení projektu podléhá obchodnímu tajemství (§ 504 Občanského zákoníku), ale název projektu, cíle projektu a u ukončeného nebo zastaveného projektu zhodnocení výsledku řešení projektu (údaje P03, P04, P15, P19, P29, PN8) dodané do CEP, jsou upraveny tak, aby byly zveřejnitelné.

Systémové označení dodávky dat

CEP24-MV0-VJ-R

Datum dodání záznamu

7. 2. 2024

Celkové uznané náklady

42 171 tis. Kč

Výše podpory ze státního rozpočtu

42 171 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč