Go to main content | Go to main menu | Go to search

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

Project Identification
VJ02010010
Project Period
1/2022 - 12/2025
Investor / Pogramme / Project type
Ministry of the Interior of the CR
  • Strategic Support Program for Security Research in the Czech Republic 2015-2020 (IMPAKT 1)
MU Faculty or unit
Faculty of Informatics
Cooperating Organization
Brno University of Technology
  • Responsible person doc. Ing. Jan Hajný, Ph.D.
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

2024

2022

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

More info