Project information
Tools for AI-enhanced Security Verification of Cryptographic Devices (AI-SecTools)

Information

This project doesn't include Faculty of Education. It includes Faculty of Informatics. Official project website can be found on muni.cz.
Project Identification
VJ02010010
Project Period
1/2022 - 12/2025
Investor / Pogramme / Project type
Ministry of the Interior of the CR
MU Faculty or unit
Faculty of Informatics
Cooperating Organization
Brno University of Technology
Czech Technical University Prague

Projekt reaguje na současný nedostatek nástrojů pro analýzu a verifikaci bezpečnostní certifikace 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 použití zařízení 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 kryptografického zařízení - ať už na základě bezpečnostní certifikace nebo tvrzení výrobce/dodavatele.

Sustainable Development Goals

Masaryk University is committed to the UN Sustainable Development Goals, which aim to improve the conditions and quality of life on our planet by 2030.

Sustainable Development Goal No.  8 – Decent work and economic growth Sustainable Development Goal No.  9 – Industry, innovation and infrastructure Sustainable Development Goal No.  16 – Peace, justice and strong institutions Sustainable Development Goal No.  17 – Partnerships for the goals

Publications

Total number of publications: 8


You are running an old browser version. We recommend updating your browser to its latest version.