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

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F22%3A00129777" target="_blank" >RIV/00216224:14330/22:00129777 - isvavai.cz</a>

Result on the web

<a href="https://pesw.fit.cvut.cz/2022/index.php?page=SecTools" target="_blank" >https://pesw.fit.cvut.cz/2022/index.php?page=SecTools</a>

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

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

Original language description

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.

Czech name

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

Czech description

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.

Type

A - Audiovisual production

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/VJ02010010" target="_blank" >VJ02010010: Tools for AI-enhanced Security Verification of Cryptographic Devices</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2022

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

ISBN

—

Place of publication

—

Publisher/client name

—

Version

—

Carrier ID

—