Informace o projektu
Tools for AI-enhanced Security Verification of Cryptographic Devices
(AI-SecTools)
- Kód projektu
- VJ02010010
- Období řešení
- 1/2022 - 12/2025
- Investor / Programový rámec / typ projektu
-
Ministerstvo vnitra ČR
- Strategická podpora rozvoje bezpečnostního výzkumu ČR 2019-2025 (IMPAKT 1)
- Fakulta / Pracoviště MU
- Fakulta informatiky
- Spolupracující organizace
-
Vysoké učení technické v Brně
- Odpovědná osoba doc. Ing. Jan Hajný, Ph.D.
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.
Cíle udržitelného rozvoje
Masarykova univerzita se hlásí k cílům udržitelného rozvoje OSN, jejichž záměrem je do roku 2030 zlepšit podmínky a kvalitu života na naší planetě.
Publikace
Počet publikací: 8
2024
-
pyecsca: Reverse engineering black-box elliptic curve cryptography via side-channel analysis
IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2024
-
sec-certs: Examining the security certification practice for better vulnerability mitigation
Computers & Security, rok: 2024, ročník: 2024, vydání: 143, DOI
-
The adoption rate of JavaCard features by certified products and open-source projects
Smart Card Research and Advanced Applications, rok: 2024
-
“These results must be false”: A usability evaluation of constant-time analysis tools
33rd USENIX Security Symposium, rok: 2024
-
TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips
IACR Transactions on Cryptographic Hardware and Embedded Systems, rok: 2024
2022
-
Analysis of cryptographic implementations, Intermediate report fo progress for NUKIB, CRoCS@FI Masaryk Univerzity
Rok: 2022, druh: Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
-
JCAlgTest: Robust identification metadata for certified smartcards
Proceedings of the 19th International Conference on Security and Cryptography (SECRYPT 2022), rok: 2022
-
Protecting the Most Significant Bits in Scalar Multiplication Algorithms
12th International Conference on Security, Privacy, and Applied Cryptography Engineering, SPACE 2022, rok: 2022