A 2022

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

ŠVENDA, Petr and Adam JANOVSKÝ

Basic information

Original name

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

Name in Czech

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

Name (in English)

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

Authors

ŠVENDA, Petr (203 Czech Republic, guarantor, belonging to the institution) and Adam JANOVSKÝ (203 Czech Republic, belonging to the institution)

Edition

2022

Other information

Language

Czech

Type of outcome

Audiovizuální tvorba

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Czech Republic

Confidentiality degree

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

References:

RIV identification code

RIV/00216224:14330/22:00129777

Organization unit

Faculty of Informatics

Keywords (in Czech)

bezpecnost; postranni kanaly

Keywords in English

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

Abstract

ORIG EN

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.

In English

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.

Links

VJ02010010, research and development project
Name: Nástroje pro verifikaci bezpečnosti kryptografických zařízení s využitím AI (Acronym: AI-SecTools)
Investor: Ministry of the Interior of the CR