All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Tools for AI-enhanced Security Verification of Cryptographic Devices

Public support

  • Provider

    Ministry of Interior

  • Programme

  • Call for proposals

    SMV02020VJ003

  • Main participants

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

  • Contest type

    VS - Public tender

  • Contract ID

    VJ02010010 - Smlouva o poskytnutí podpory

Alternative language

  • Project name in Czech

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

  • Annotation in Czech

    Projekt reaguje na současný nedostatek nástrojů pro analýzu a verifikaci bezpečnostních certifikací zařízení používaných pro zajištění kybernetické bezpečnosti. Zejména u hardwarových zařízení implementujících kryptografické algoritmy, například čipových karet, je v ČR téměř nemožné spolehlivě ověřit deklarovanou úroveň bezpečnosti, což následně znemožňuje analýzu rizik systémů využívajících tato zařízení, a tedy jejich použití např. u bezpečnostních složek státu či v rámci kritických informačních infrastruktur. V rámci projektu budou vyvinuty nové hardwarové a softwarové nástroje založené na principech umělé inteligence, které bude možné využít pro specifické kroky automatizované verifikace bezpečnosti zařízení - ať už na základě bezpečnostní certifikace nebo tvrzení výrobce/dodavatele.

Scientific branches

  • R&D category

    VV - Exeperimental development

  • OECD FORD - main branch

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

  • OECD FORD - secondary branch

    20201 - Electrical and electronic engineering

  • OECD FORD - another secondary branch

    20206 - Computer hardware and architecture

  • CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)

    AF - Documentation, librarianship, work with information<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics<br>JA - Electronics and optoelectronics<br>JB - Sensors, detecting elements, measurement and regulation<br>JC - Computer hardware and software

Solution timeline

  • Realization period - beginning

    Jan 1, 2022

  • Realization period - end

    Dec 31, 2025

  • Project status

    B - Running multi-year project

  • Latest support payment

    Mar 30, 2023

Data delivery to CEP

  • Confidentiality

    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é.

  • Data delivery code

    CEP24-MV0-VJ-R

  • Data delivery date

    Feb 7, 2024

Finance

  • Total approved costs

    42,171 thou. CZK

  • Public financial support

    42,171 thou. CZK

  • Other public sources

    0 thou. CZK

  • Non public and foreign sources

    0 thou. CZK