This Horizon Europe call funds development of post-quantum cryptographic solutions, formal verification tools, and highly assured cryptographic software (HACS) for digital wallets, eID systems, and secure authentication protocols. Large companies, SMEs, startups, and research organizations can apply individually or in consortia.
Part of call: Nepřímo řízená činnost ECCC (2026)
About this call
Očekávaný výsledek:Očekává se, že návrhy přispějí k jednomu nebo více z těchto bodů:kvantově odolných kryptografických primitiv, případně i jiných než přístupů založených na mřížkách, které zvyšují bezpečnost a soukromí digitálních peněženek, a to jak pro fyzické osoby, tak pro peněženky, jakož i navrhování a zavádění postkvantových řešení pro autentizaci subjektů a autentizaci zřízení klíčů prostřednictvím nezabezpečených sítí;Formální ověřovací nástroje, vylepšené přístupy k vysoce zabezpečenému kryptografickému softwaru (HACS) a jejich integrace do softwarových pracovních postupů s cílem poskytnout silné bezpečnostní záruky v postkvantové migraci a umožnit zjednodušené hodnocení bezpečných systémů využívajících kryptografii založené na důkazech. Oblast působnosti:Vývoj nových digitálních podpisů a pokročilých kryptografických schémat přizpůsobených konkrétně případům použití a požadavkům v souvislosti s peněženkami / elektronickými identifikátory pro aplikace v oblasti ochrany soukromí a podnikání je v dnešní době velmi důležitý. Kromě toho tato zařízení potřebují bezpečná připojení přes nezabezpečené sítě, které vyžadují protokoly pro autentizaci entit, autentizaci klíče, stejně jako schémata Password Authenticated Key Exchange (PAKE) pro zajištění autentizace uživatelů pomocí hesel v různých případech použití a pro protokoly pro obnovu dat peněženky.Další klíčovou oblastí je vývoj vysoce zabezpečeného kryptografického softwaru (HACS), včetně automatizovaných metod hodnocení.Vzhledem k výše uvedeným skutečnostem by se návrhy měly zabývat jednou z těchto technologických oblastí:Navrhování a provádění pokročilých systémů a protokolů PQC pro větší bezpečnost a ochranu soukromí, případně včetně jiných systémů než přístupů založených na mřížkách. Návrhy by měly rovněž obsahovat doporučení, která vyvažují bezpečnost, výkon a použitelnost v praktických aplikacích a vycházejí z opakovaně použitelných softwarových knihoven s otevřeným zdrojovým kódem.vývoj jednotného specifikačního jazyka pro formalizaci a dokumentaci podmínek kryptografické bezpečnosti a zabezpečení při implementaci softwaru; vývoj a zdokonalování nástrojů a metodik, které lze použít k vyhodnocení jak implementace, tak využití kryptografie v softwarových aplikacích a poskytnout formální strojově kontrolované záruky správnosti a bezpečnosti. Návrhy by měly rovněž zvážit zlepšení stávajících nástrojů HACS a jejich začlenění do těchto softwarových implementací.