DIREC-projekt

High-Assurance Group Messaging

Projektværdi

Sikker digital kommunikation er vigtig for samfundet, offentlige myndigheder og forsvar. Teknologier som TLS (der beskytter hjemmesider) og sikre beskedtjenester som Signal bruges af milliarder af mennesker, fordi de bygger på stærk kryptering og grundigt testet sikkerhed.

I dag foregår mere kommunikation i store grupper i stedet for kun mellem to personer. Det gælder blandt andet regeringer, virksomheder og internationale organisationer. Derfor opstår der et nyt behov: at sikre, at gruppekommunikation er lige så sikker og pålidelig som almindelige private beskeder.

Protokollen Messaging Layer Security (MLS) er ved at blive den internationale standard for sikker gruppekommunikation. Den bruges allerede eller testes af platforme som Discord, tyske offentlige beskedtjenester og NATO-systemer. Det er vigtigt at gøre MLS endnu mere sikker og klar til fremtidige trusler, herunder angreb fra kvantecomputere. Det kan også hjælpe Europa og offentlige myndigheder med at blive mindre afhængige af lukkede løsninger fra store teknologivirksomheder.

PROJEKTDATA

Projektnavn

High-Assurance Group Messaging

Projektperiode
2026-2027
Finansiering
DKK 395.000

Videnskabelig tilgang

Dette projekt har til formål at levere den første fuldstændige sikkerhedsanalyse af MLS både på det kryptografiske niveau og på implementeringsniveau i software, svarende til det, der allerede findes for TLS og Signal.

Forskerne ønsker at undersøge, om MLS faktisk er sikkert i praksis, også i nye versioner der er beskyttet mod fremtidige kvantecomputere. Projektet bygger videre på tidligere forskning fra Aarhus Universitet og samarbejdspartnere som Cryspen.

Ved hjælp af avancerede formelle metoder skal projektet skabe matematiske og maskinverificerede sikkerhedsbeviser for MLS. Samtidig vil forskningen undersøge, hvordan formel verifikation kan gøre det lettere at opnå sikkerhedscertificeringer som Common Criteria, der ofte kræves i offentlige og militære systemer.

Projektet forbinder dermed grundforskning, industriel brug og sikkerhedscertificering for at styrke sikre og åbne kommunikationssystemer.

Projektdeltagere

Bas Spitters
Bas Spitters – Associated professor – Aarhus University
Arne Stig Peters
Arne Stig Peters – Founder – Confiware ApS
Franziskus Kiefer
Franziskus Kiefer – Co-founder and CEO – Cryspen

Partnere

Aarhus University logoConfiware ApS logoCryspen logo