Przygotowanie wniosku o Eurogrant planowanego do realizacji w ramach programu Horyzont Europa

alpha0 sp. z o. o. realizuje projekt nr FENG.02.12-IP.02-0481/26, współfinansowany ze środków Funduszy Europejskich, pod tytułem: „Przygotowanie wniosku o Eurogrant planowanego do realizacji w ramach programu Horyzont Europa”.

Jaki jest cel projektu?

Celem projektu jest przygotowanie i złożenie wniosku o Eurogrant w programie Horyzont Europa, w konkursie HORIZON-CL3-2026-02-CS-ECCC-03 – „Advanced cryptographic schemes and High-Assurance high-speed cryptographic implementations”. W ramach projektu powstanie dokumentacja aplikacyjna, a wykonawcy zewnętrzni opracują analizy specjalistyczne niezbędne do określenia założeń planowanych prac badawczo-rozwojowych i komercjalizacji ich rezultatów.

Czego będzie dotyczył planowany Eurogrant?

Planowany Eurogrant obejmie opracowanie koncepcji, architektury referencyjnej i demonstratora „Systemu formalnej weryfikacji oprogramowania kryptografii postkwantowej”. Rozwiązanie ma służyć opisywaniu wymagań bezpieczeństwa, automatycznej ocenie poprawności kodu oraz tworzeniu maszynowo sprawdzalnych dowodów zgodności. Wniosek ma zostać złożony przez konsorcjum, w którym alpha0 sp. z o. o. pełni rolę koordynatora, z udziałem dwóch znanych konsorcjantów zagranicznych. Planowany czas trwania Eurograntu wynosi 36 miesięcy.

Jaki jest cel planowanych prac B+R?

Celem prac B+R będzie opracowanie nowej metodyki, jednolitego języka specyfikacji wymagań kryptograficznych oraz środowiska formalnej weryfikacji implementacji i sposobu użycia algorytmów ML-KEM i ML-DSA. Badania obejmą m.in. sprawdzanie poprawności użycia kluczy i parametrów, wykrywanie błędów integracji i konfiguracji oraz generowanie dowodów bezpieczeństwa. Przewidziano zaprojektowanie i ocenę demonstratora w warunkach laboratoryjnych, w tym pomiary skuteczności weryfikacji, powtarzalności wyników oraz narzutu obliczeniowego i czasowego.

Zakres planowanego Eurograntu

W ramach planowanego Eurograntu przewidziano w szczególności:

• opracowanie formalnego modelu wymagań bezpieczeństwa dla implementacji kryptografii postkwantowej, w tym zasad użycia kluczy, parametrów algorytmów, obsługi błędów i przechowywania sekretów;
• opracowanie jednolitego języka specyfikacji pozwalającego opisywać wymagania dotyczące poprawności i bezpieczeństwa kodu kryptograficznego;
• zdefiniowanie reguł formalnej weryfikacji implementacji i sposobu użycia algorytmów ML-KEM oraz ML-DSA;
• połączenie automatycznej analizy kodu z metodami formalnymi i generowaniem maszynowo sprawdzalnych dowodów poprawności;
• opracowanie metod wykrywania błędów integracji, konfiguracji i migracji z kryptografii klasycznej do postkwantowej;
• udoskonalenie narzędzi HACS i określenie sposobu ich integracji z procesem projektowania, tworzenia, przeglądu i aktualizacji oprogramowania;
• przygotowanie demonstratora z interfejsem integracyjnym, regułami weryfikacyjnymi, przykładowymi specyfikacjami oraz modułem raportowania i tworzenia pakietów dowodowych;
• przetestowanie demonstratora na przypadkach użycia obejmujących bezpieczne połączenia, podpisywanie składników oprogramowania i zabezpieczanie aktualizacji;
• przeprowadzenie walidacji na poprawnych i celowo błędnych implementacjach, z oceną skuteczności wykrywania niezgodności, wydajności i powtarzalności wyników.

Jaki będzie rezultat planowanego Eurograntu?

Rezultatem planowanego Eurograntu będzie formalny model wymagań bezpieczeństwa, jednolity język specyfikacji, zestaw reguł weryfikacyjnych, demonstrator oprogramowania i przykładowe maszynowo sprawdzalne dowody poprawności. Powstaną także metodyka oceny, raporty z walidacji, dokumentacja techniczna oraz wytyczne wdrożeniowe, wspierające bezpieczne stosowanie kryptografii postkwantowej.

Jaki będzie rezultat projektu?

Rezultatem projektu będzie przygotowanie i złożenie wniosku o Eurogrant w programie Horyzont Europa zgodnego z wymaganiami wskazanego konkursu, wraz z dokumentacją aplikacyjną i analizami specjalistycznymi wykonanymi przez podmioty zewnętrzne. Zakres przygotowania aplikacji obejmie także niezbędne tłumaczenia, konsultacje eksperckie oraz ewentualne uzupełnienia.

Bezpośrednim odbiorcą rezultatów projektu będzie alpha0 sp. z o. o., która wykorzysta dokumentację do ubiegania się – jako koordynator konsorcjum – o dofinansowanie prac B+R nad systemem formalnej weryfikacji oprogramowania kryptografii postkwantowej.

Finansowanie projektu