Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Workshop AI-SecTools 2022

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F22%3A00358656" target="_blank" >RIV/68407700:21240/22:00358656 - isvavai.cz</a>

  • Výsledek na webu

    <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

Alternativní jazyky

  • Jazyk výsledku

    čeština

  • Název v původním jazyce

    Workshop AI-SecTools 2022

  • Popis výsledku v původním jazyce

    První workshop k projektu VJ02010010 „Nástroje pro verifikaci bezpečnosti kryptografických zařízení s využitím AI“, který byl podpořen MVČR ve veřejné soutěži 2.VS IMPAKT 1 (2022-2025). Během workshopu vystoupily všechny klíčové osoby, které představily konkrétní dosažené výsledky. V rámci workshopu byly také zástupcům aplikačního garanta demonstrovány možnosti nástrojů pro analýzu SW i HW kryptografických implementací a možné požadavky na jejich funkcionalitu. K jednotlivým prezentacím proběhla diskuse.

  • Název v anglickém jazyce

    Workshop AI-SecTools 2022

  • Popis výsledku anglicky

    First workshop of the project VJ02010010 “Tools for AI-enhanced Security Verification of Cryptographic Devices” that was supported by Ministry of the Interior of the Czech Republic by the grant VJ02010010 in the program Impakt1 (2022-2025). During the workshop, all the key persons presented concrete results achieved. The workshop also demonstrated to the representatives of the application sponsor the possibilities of tools for analysis of SW and HW cryptographic implementations and possible requirements for their functionality. A discussion was held on the individual presentations.

Klasifikace

  • Druh

    O - Ostatní výsledky

  • CEP obor

  • OECD FORD obor

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

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/VJ02010010" target="_blank" >VJ02010010: Nástroje pro verifikaci bezpečnosti kryptografických zařízení s využitím AI</a><br>

  • Návaznosti

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

Ostatní

  • Rok uplatnění

    2022

  • Kód důvěrnosti údajů

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