Analysis of cryptographic implementations, Intermediate report fo progress for NUKIB, CRoCS@FI Masaryk Univerzity

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	ŠVENDA Petr JANOVSKÝ Adam
Rok publikování	2022
Druh	Prezentace v oblasti VaV (AV tvorba, WEB aplikace apod.)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Popis	Prezentace s názvem 'Analysis of cryptographic implementations' pokrývá seznam oblastí parametrů pro analýzu (Parameters to consider), přehled hlavních plánovaných oblastí pokrytí a souvisejících nástrojů, nástroje identifikované pro další etapu a výstup přehledu problémů v certifikačních schématech Common Criteria a FIPS140. Výsledek představuje prezentaci jednotlivých etap a pokrok jejich řešení během prvního roku projektu VJ02010010 „Nástroje pro verifikaci bezpečnosti kryptografických zařízení s využitím AI“. Výsledek byl dosažen v průběhu konání workshopu projektu, během kterého vystoupily všechny klíčové osoby, které představily konkrétní dosažené výsledky.
Související projekty:	Tools for AI-enhanced Security Verification of Cryptographic Devices