Workshop SecTools 2025
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F26%3A0200348" target="_blank" >RIV/00216305:26220/26:0200348 - isvavai.cz</a>
Result on the web
<a href="https://drive.google.com/drive/folders/1E0JeSg0twQ6gL5jtQuNpBGwarQJHJBuR?usp=sharing" target="_blank" >https://drive.google.com/drive/folders/1E0JeSg0twQ6gL5jtQuNpBGwarQJHJBuR?usp=sharing</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Workshop SecTools 2025
Original language description
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 a postup prací za rok 2024.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. Workshop proběhl 25. 11. 2025 v Praze na ČVUT a navštívilo ho 30 zástupců Českých univerzit, institucí a firem.
Czech name
Workshop SecTools 2025
Czech description
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 a postup prací za rok 2024.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. Workshop proběhl 25. 11. 2025 v Praze na ČVUT a navštívilo ho 30 zástupců Českých univerzit, institucí a firem.
Classification
Type
W - Workshop organization
CEP classification
—
OECD FORD branch
20202 - Communication engineering and systems
Result continuities
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)
Others
Publication year
2025
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Event location
Praha
Event country
CZ - CZECH REPUBLIC
Event starting date
—
Event ending date
—
Total number of attendees
30
Foreign attendee count
—
Type of event by attendee nationality
CST - Celostátní akce