{"id":42505,"date":"2026-05-25T18:58:16","date_gmt":"2026-05-25T18:58:16","guid":{"rendered":"https:\/\/direc.dk\/?p=42505"},"modified":"2026-06-26T09:43:14","modified_gmt":"2026-06-26T09:43:14","slug":"high-assurance-group-messaging","status":"publish","type":"post","link":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/","title":{"rendered":"High-Assurance Group Messaging"},"content":{"rendered":"\t\t
\n\t\t\t\t
\n\t\t
\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

DIREC-projekt<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

High-Assurance Group Messaging<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t\t
\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Projektv\u00e6rdi<\/h2>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\tSikker 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\u00e5 st\u00e6rk kryptering og grundigt testet sikkerhed.

I dag foreg\u00e5r mere kommunikation i store grupper i stedet for kun mellem to personer. Det g\u00e6lder blandt andet regeringer, virksomheder og internationale organisationer. Derfor opst\u00e5r der et nyt behov: at sikre, at gruppekommunikation er lige s\u00e5 sikker og p\u00e5lidelig 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\u00f8re MLS endnu mere sikker og klar til fremtidige trusler, herunder angreb fra kvantecomputere. Det kan ogs\u00e5 hj\u00e6lpe Europa og offentlige myndigheder med at blive mindre afh\u00e6ngige af lukkede l\u00f8sninger fra store teknologivirksomheder.\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t\t
\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

PROJEKTDATA<\/h2>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t\t
\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
Projektnavn<\/strong><\/h5>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

High-Assurance Group Messaging<\/p>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t

\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
Projektperiode<\/strong><\/h5>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t2026-2027\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t
Finansiering<\/strong><\/h5>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\tDKK 395.000\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t\t
\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Videnskabelig tilgang<\/h2>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\tDette projekt har til form\u00e5l at levere den f\u00f8rste fuldst\u00e6ndige sikkerhedsanalyse af MLS b\u00e5de p\u00e5 det kryptografiske niveau og p\u00e5 implementeringsniveau i software, svarende til det, der allerede findes for TLS og Signal.

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

Ved hj\u00e6lp af avancerede formelle metoder skal projektet skabe matematiske og maskinverificerede sikkerhedsbeviser for MLS. Samtidig vil forskningen unders\u00f8ge, hvordan formel verifikation kan g\u00f8re det lettere at opn\u00e5 sikkerhedscertificeringer som Common Criteria, der ofte kr\u00e6ves i offentlige og milit\u00e6re systemer.

Projektet forbinder dermed grundforskning, industriel brug og sikkerhedscertificering for at styrke sikre og \u00e5bne kommunikationssystemer.

\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t\t
\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Projektdeltagere<\/h2>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\n \n \n \n \n \n \n \n
\n
\"Bas<\/div>\n <\/td>\n
\n
Bas Spitters – Associate professor – Aarhus University<\/div>\n <\/td>\n <\/tr>\n \n
\n
\"Alessandro<\/div>\n <\/td>\n
\n
Alessandro Sosso – Position not specified – No affiliation specified<\/div>\n <\/td>\n <\/tr>\n \n
\n
\"Arne<\/div>\n <\/td>\n
\n
Arne Stig Peters – Founder – Confiware ApS<\/div>\n <\/td>\n <\/tr>\n \n
\n
\"Franziskus<\/div>\n <\/td>\n
\n
Franziskus Kiefer – Co-founder and CEO – Cryspen<\/div>\n <\/td>\n <\/tr>\n \n <\/tbody>\n <\/table>\n \t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t\t
\n\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Partnere<\/h2>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t
\n\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\n
\n
\n \"Aarhus\"Confiware\"Cryspen\n <\/div>\n <\/div>\n \t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"

Projektet har til form\u00e5l at sikre, at moderne gruppekommunikation er lige s\u00e5 sikker og p\u00e5lidelig som individuelle beskeder gennem en grundig analyse af MLS-protokollen. Samtidig unders\u00f8ges det, hvordan formelle metoder og kryptografiske beviser kan styrke sikkerheden og g\u00f8re teknologien klar til fremtidige trusler som kvantecomputere.<\/p>\n","protected":false},"author":3,"featured_media":42504,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[210,218],"tags":[194],"class_list":["post-42505","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-cybersikkerhed","category-projekt","tag-next-gen-cybersecurity-da"],"yoast_head":"\nHigh-Assurance Group Messaging - DIREC<\/title>\n<meta name=\"description\" content=\"Projektet har til form\u00e5l at sikre, at moderne gruppekommunikation er lige s\u00e5 sikker og p\u00e5lidelig som individuelle beskeder gennem en grundig analyse af MLS-protokollen. Samtidig unders\u00f8ges det, hvordan formelle metoder og kryptografiske beviser kan styrke sikkerheden og g\u00f8re teknologien klar til fremtidige trusler som kvantecomputere.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/\" \/>\n<meta property=\"og:locale\" content=\"da_DK\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"High-Assurance Group Messaging - DIREC\" \/>\n<meta property=\"og:description\" content=\"Projektet har til form\u00e5l at sikre, at moderne gruppekommunikation er lige s\u00e5 sikker og p\u00e5lidelig som individuelle beskeder gennem en grundig analyse af MLS-protokollen. Samtidig unders\u00f8ges det, hvordan formelle metoder og kryptografiske beviser kan styrke sikkerheden og g\u00f8re teknologien klar til fremtidige trusler som kvantecomputere.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/\" \/>\n<meta property=\"og:site_name\" content=\"DIREC\" \/>\n<meta property=\"article:published_time\" content=\"2026-05-25T18:58:16+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-06-26T09:43:14+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/direc.dk\/wp-content\/uploads\/2026\/05\/High-assurance-group-messaging.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1920\" \/>\n\t<meta property=\"og:image:height\" content=\"1080\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Susanne Br\u00f8ndberg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Skrevet af\" \/>\n\t<meta name=\"twitter:data1\" content=\"Susanne Br\u00f8ndberg\" \/>\n\t<meta name=\"twitter:label2\" content=\"Estimeret l\u00e6setid\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minut\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/\"},\"author\":{\"name\":\"Susanne Br\u00f8ndberg\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/person\\\/3fcdff2b9bc83fcb7b642fa67a946f38\"},\"headline\":\"High-Assurance Group Messaging\",\"datePublished\":\"2026-05-25T18:58:16+00:00\",\"dateModified\":\"2026-06-26T09:43:14+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/\"},\"wordCount\":159,\"publisher\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/High-assurance-group-messaging.jpg\",\"keywords\":[\"Next gen cybersecurity\"],\"articleSection\":[\"Cybersikkerhed\",\"Projekt\"],\"inLanguage\":\"da-DK\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/\",\"name\":\"High-Assurance Group Messaging - DIREC\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/High-assurance-group-messaging.jpg\",\"datePublished\":\"2026-05-25T18:58:16+00:00\",\"dateModified\":\"2026-06-26T09:43:14+00:00\",\"description\":\"Projektet har til form\u00e5l at sikre, at moderne gruppekommunikation er lige s\u00e5 sikker og p\u00e5lidelig som individuelle beskeder gennem en grundig analyse af MLS-protokollen. Samtidig unders\u00f8ges det, hvordan formelle metoder og kryptografiske beviser kan styrke sikkerheden og g\u00f8re teknologien klar til fremtidige trusler som kvantecomputere.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/#breadcrumb\"},\"inLanguage\":\"da-DK\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/#primaryimage\",\"url\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/High-assurance-group-messaging.jpg\",\"contentUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2026\\\/05\\\/High-assurance-group-messaging.jpg\",\"width\":1920,\"height\":1080},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/high-assurance-group-messaging\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/direc.dk\\\/da\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"High-Assurance Group Messaging\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#website\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/\",\"name\":\"DIREC\",\"description\":\"Digital Research Centre Denmark\",\"publisher\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/direc.dk\\\/da\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"da-DK\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\",\"name\":\"DIREC\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/02\\\/DIREC_logo_2023_bla.png\",\"contentUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2021\\\/02\\\/DIREC_logo_2023_bla.png\",\"width\":2786,\"height\":786,\"caption\":\"DIREC\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/person\\\/3fcdff2b9bc83fcb7b642fa67a946f38\",\"name\":\"Susanne Br\u00f8ndberg\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g\",\"caption\":\"Susanne Br\u00f8ndberg\"},\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/author\\\/susanne\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"High-Assurance Group Messaging - DIREC","description":"Projektet har til form\u00e5l at sikre, at moderne gruppekommunikation er lige s\u00e5 sikker og p\u00e5lidelig som individuelle beskeder gennem en grundig analyse af MLS-protokollen. Samtidig unders\u00f8ges det, hvordan formelle metoder og kryptografiske beviser kan styrke sikkerheden og g\u00f8re teknologien klar til fremtidige trusler som kvantecomputere.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/","og_locale":"da_DK","og_type":"article","og_title":"High-Assurance Group Messaging - DIREC","og_description":"Projektet har til form\u00e5l at sikre, at moderne gruppekommunikation er lige s\u00e5 sikker og p\u00e5lidelig som individuelle beskeder gennem en grundig analyse af MLS-protokollen. Samtidig unders\u00f8ges det, hvordan formelle metoder og kryptografiske beviser kan styrke sikkerheden og g\u00f8re teknologien klar til fremtidige trusler som kvantecomputere.","og_url":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/","og_site_name":"DIREC","article_published_time":"2026-05-25T18:58:16+00:00","article_modified_time":"2026-06-26T09:43:14+00:00","og_image":[{"width":1920,"height":1080,"url":"https:\/\/direc.dk\/wp-content\/uploads\/2026\/05\/High-assurance-group-messaging.jpg","type":"image\/jpeg"}],"author":"Susanne Br\u00f8ndberg","twitter_card":"summary_large_image","twitter_misc":{"Skrevet af":"Susanne Br\u00f8ndberg","Estimeret l\u00e6setid":"1 minut"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/#article","isPartOf":{"@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/"},"author":{"name":"Susanne Br\u00f8ndberg","@id":"https:\/\/direc.dk\/da\/#\/schema\/person\/3fcdff2b9bc83fcb7b642fa67a946f38"},"headline":"High-Assurance Group Messaging","datePublished":"2026-05-25T18:58:16+00:00","dateModified":"2026-06-26T09:43:14+00:00","mainEntityOfPage":{"@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/"},"wordCount":159,"publisher":{"@id":"https:\/\/direc.dk\/da\/#organization"},"image":{"@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2026\/05\/High-assurance-group-messaging.jpg","keywords":["Next gen cybersecurity"],"articleSection":["Cybersikkerhed","Projekt"],"inLanguage":"da-DK"},{"@type":"WebPage","@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/","url":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/","name":"High-Assurance Group Messaging - DIREC","isPartOf":{"@id":"https:\/\/direc.dk\/da\/#website"},"primaryImageOfPage":{"@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/#primaryimage"},"image":{"@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2026\/05\/High-assurance-group-messaging.jpg","datePublished":"2026-05-25T18:58:16+00:00","dateModified":"2026-06-26T09:43:14+00:00","description":"Projektet har til form\u00e5l at sikre, at moderne gruppekommunikation er lige s\u00e5 sikker og p\u00e5lidelig som individuelle beskeder gennem en grundig analyse af MLS-protokollen. Samtidig unders\u00f8ges det, hvordan formelle metoder og kryptografiske beviser kan styrke sikkerheden og g\u00f8re teknologien klar til fremtidige trusler som kvantecomputere.","breadcrumb":{"@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/#breadcrumb"},"inLanguage":"da-DK","potentialAction":[{"@type":"ReadAction","target":["https:\/\/direc.dk\/da\/high-assurance-group-messaging\/"]}]},{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/#primaryimage","url":"https:\/\/direc.dk\/wp-content\/uploads\/2026\/05\/High-assurance-group-messaging.jpg","contentUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2026\/05\/High-assurance-group-messaging.jpg","width":1920,"height":1080},{"@type":"BreadcrumbList","@id":"https:\/\/direc.dk\/da\/high-assurance-group-messaging\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/direc.dk\/da\/"},{"@type":"ListItem","position":2,"name":"High-Assurance Group Messaging"}]},{"@type":"WebSite","@id":"https:\/\/direc.dk\/da\/#website","url":"https:\/\/direc.dk\/da\/","name":"DIREC","description":"Digital Research Centre Denmark","publisher":{"@id":"https:\/\/direc.dk\/da\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/direc.dk\/da\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"da-DK"},{"@type":"Organization","@id":"https:\/\/direc.dk\/da\/#organization","name":"DIREC","url":"https:\/\/direc.dk\/da\/","logo":{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/direc.dk\/da\/#\/schema\/logo\/image\/","url":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/02\/DIREC_logo_2023_bla.png","contentUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2021\/02\/DIREC_logo_2023_bla.png","width":2786,"height":786,"caption":"DIREC"},"image":{"@id":"https:\/\/direc.dk\/da\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/direc.dk\/da\/#\/schema\/person\/3fcdff2b9bc83fcb7b642fa67a946f38","name":"Susanne Br\u00f8ndberg","image":{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/secure.gravatar.com\/avatar\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/e8d2e418b1a0402f1ebb3e45dc93b7b681ec163ec692e71cb65c848ff80d3ab7?s=96&d=mm&r=g","caption":"Susanne Br\u00f8ndberg"},"url":"https:\/\/direc.dk\/da\/author\/susanne\/"}]}},"dynamic_page_title":"","dynamic_page_description":"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\u00e5 st\u00e6rk kryptering og grundigt testet sikkerhed.<br><br>I dag foreg\u00e5r mere kommunikation i store grupper i stedet for kun mellem to personer. Det g\u00e6lder blandt andet regeringer, virksomheder og internationale organisationer. Derfor opst\u00e5r der et nyt behov: at sikre, at gruppekommunikation er lige s\u00e5 sikker og p\u00e5lidelig som almindelige private beskeder.<br><br>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\u00f8re MLS endnu mere sikker og klar til fremtidige trusler, herunder angreb fra kvantecomputere. Det kan ogs\u00e5 hj\u00e6lpe Europa og offentlige myndigheder med at blive mindre afh\u00e6ngige af lukkede l\u00f8sninger fra store teknologivirksomheder.","dynamic_page_partners":"\n <div style=\"text-align: left;margin: 20px 0\">\n <div style=\"max-width: 100%\">\n <img src=\"https:\/\/direc.dk\/wp-content\/uploads\/2020\/11\/aulogo_uk_var2_blue.png\" alt=\"Aarhus University logo\" style=\"height: 75px;width: auto;min-width: 75px;max-width: 200px;object-fit: contain;margin: 0 25px 25px 0;vertical-align: middle\" \/><img src=\"https:\/\/direc.dk\/wp-content\/uploads\/2026\/05\/Confiware_logo.png\" alt=\"Confiware ApS logo\" style=\"height: 75px;width: auto;min-width: 75px;max-width: 200px;object-fit: contain;margin: 0 25px 25px 0;vertical-align: middle\" \/><img src=\"https:\/\/cryspen.com\/images\/logo.png\" alt=\"Cryspen logo\" style=\"height: 75px;width: auto;min-width: 75px;max-width: 200px;object-fit: contain;margin: 0 25px 25px 0;vertical-align: middle\" \/>\n <\/div>\n <\/div>\n ","dynamic_page_scientific_impact":"Dette projekt har til form\u00e5l at levere den f\u00f8rste fuldst\u00e6ndige sikkerhedsanalyse af MLS b\u00e5de p\u00e5 det kryptografiske niveau og p\u00e5 implementeringsniveau i software, svarende til det, der allerede findes for TLS og Signal.<br><br>Forskerne \u00f8nsker at unders\u00f8ge, om MLS faktisk er sikkert i praksis, ogs\u00e5 i nye versioner der er beskyttet mod fremtidige kvantecomputere. Projektet bygger videre p\u00e5 tidligere forskning fra Aarhus Universitet og samarbejdspartnere som Cryspen.<br><br>Ved hj\u00e6lp af avancerede formelle metoder skal projektet skabe matematiske og maskinverificerede sikkerhedsbeviser for MLS. Samtidig vil forskningen unders\u00f8ge, hvordan formel verifikation kan g\u00f8re det lettere at opn\u00e5 sikkerhedscertificeringer som Common Criteria, der ofte kr\u00e6ves i offentlige og milit\u00e6re systemer.<br><br>Projektet forbinder dermed grundforskning, industriel brug og sikkerhedscertificering for at styrke sikre og \u00e5bne kommunikationssystemer.<br><br>","dynamic_page_people":"\n <table style=\"width: 100%;border-collapse: collapse;margin: 20px 0;border: none;background: none\">\n <tbody style=\"border: none;background: none\">\n \n <tr>\n <td style=\"padding: 12px;text-align: center;vertical-align: top;border: none;background: none\">\n <div class=\"researcher-photo\"><img src=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/09\/Bas-Spitters-direc-seminar.jpg\" alt=\"Bas Spitters\" style=\"width: 80px;height: 80px;min-width: 80px;min-height: 80px;border-radius: 50%;object-fit: cover;border: 2px solid #ddd;display: block;margin: 0 auto;max-width: 100%\" \/><\/div>\n <\/td>\n <td style=\"padding: 12px;vertical-align: top;border: none;background: none\">\n <div class=\"participant-name\" style=\"font-weight: normal;font-size: 18px;color: #1C2966\">Bas Spitters - Associate professor - Aarhus University<\/div>\n <\/td>\n <\/tr>\n \n <tr>\n <td style=\"padding: 12px;text-align: center;vertical-align: top;border: none;background: none\">\n <div class=\"researcher-photo\"><img src=\"https:\/\/ipure8.au.dk\/current\/photos\/d8102cd4-1924-4e32-996c-1abca13c9b5e-new.jpg\" alt=\"Alessandro Sosso\" style=\"width: 80px;height: 80px;min-width: 80px;min-height: 80px;border-radius: 50%;object-fit: cover;border: 2px solid #ddd;display: block;margin: 0 auto;max-width: 100%\" \/><\/div>\n <\/td>\n <td style=\"padding: 12px;vertical-align: top;border: none;background: none\">\n <div class=\"participant-name\" style=\"font-weight: normal;font-size: 18px;color: #1C2966\">Alessandro Sosso - Position not specified - No affiliation specified<\/div>\n <\/td>\n <\/tr>\n \n <tr>\n <td style=\"padding: 12px;text-align: center;vertical-align: top;border: none;background: none\">\n <div class=\"researcher-photo\"><img src=\"https:\/\/direc.dk\/wp-content\/uploads\/2026\/05\/Arne-Stig-Peters.png\" alt=\"Arne Stig Peters\" style=\"width: 80px;height: 80px;min-width: 80px;min-height: 80px;border-radius: 50%;object-fit: cover;border: 2px solid #ddd;display: block;margin: 0 auto;max-width: 100%\" \/><\/div>\n <\/td>\n <td style=\"padding: 12px;vertical-align: top;border: none;background: none\">\n <div class=\"participant-name\" style=\"font-weight: normal;font-size: 18px;color: #1C2966\">Arne Stig Peters - Founder - Confiware ApS<\/div>\n <\/td>\n <\/tr>\n \n <tr>\n <td style=\"padding: 12px;text-align: center;vertical-align: top;border: none;background: none\">\n <div class=\"researcher-photo\"><img src=\"https:\/\/direc.dk\/wp-content\/uploads\/2026\/05\/Franziskus-Kiefer.png\" alt=\"Franziskus Kiefer\" style=\"width: 80px;height: 80px;min-width: 80px;min-height: 80px;border-radius: 50%;object-fit: cover;border: 2px solid #ddd;display: block;margin: 0 auto;max-width: 100%\" \/><\/div>\n <\/td>\n <td style=\"padding: 12px;vertical-align: top;border: none;background: none\">\n <div class=\"participant-name\" style=\"font-weight: normal;font-size: 18px;color: #1C2966\">Franziskus Kiefer - Co-founder and CEO - Cryspen<\/div>\n <\/td>\n <\/tr>\n \n <\/tbody>\n <\/table>\n ","dynamic_page_project_period":"2026-2027","dynamic_page_funding":"DKK 395.000","dynamic_page_publications":"","dynamic_page_cover_image":"","_links":{"self":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/42505","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/comments?post=42505"}],"version-history":[{"count":3,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/42505\/revisions"}],"predecessor-version":[{"id":42788,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/42505\/revisions\/42788"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media\/42504"}],"wp:attachment":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media?parent=42505"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/categories?post=42505"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/tags?post=42505"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}