A 2022

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

ŠVENDA, Petr a Adam JANOVSKÝ

Základní údaje

Originální název

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

Název česky

Analýza kryptografických implementací, Průběžná prezentace výsledků pro NUKIB, CRoCS@FI Masarykova univerzita

Název anglicky

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

Autoři

ŠVENDA, Petr (203 Česká republika, garant, domácí) a Adam JANOVSKÝ (203 Česká republika, domácí)

Vydání

2022

Další údaje

Jazyk

čeština

Typ výsledku

Audiovizuální tvorba

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

Kód RIV

RIV/00216224:14330/22:00129777

Organizační jednotka

Fakulta informatiky

Klíčová slova česky

bezpecnost; postranni kanaly

Klíčová slova anglicky

security; cryptographic implementation; side channels
Změněno: 18. 7. 2022 11:09, doc. RNDr. Petr Švenda, Ph.D.

Anotace

V originále

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.

Anglicky

The first workshop for the project VJ02010010 "Tools for verifying the security of cryptographic devices using AI", which was supported by the MVČR in the public competition 2.VS IMPAKT 1 (2022-2025). During the workshop, all key persons spoke and presented concrete results achieved. As part of the workshop, the possibilities of tools for analyzing SW and HW cryptographic implementations and possible requirements for their functionality were also demonstrated to the representatives of the application guarantor. There was a discussion about the individual presentations.

Návaznosti

VJ02010010, projekt VaV
Název: Nástroje pro verifikaci bezpečnosti kryptografických zařízení s využitím AI (Akronym: AI-SecTools)
Investor: Ministerstvo vnitra ČR, Tools for AI-enhanced Security Verification of Cryptographic Devices