{"id":16089,"date":"2022-08-17T20:06:56","date_gmt":"2022-08-17T20:06:56","guid":{"rendered":"https:\/\/direc.dk\/privacy-preserving-and-software-independent-voting-protocols\/"},"modified":"2025-10-20T12:51:57","modified_gmt":"2025-10-20T12:51:57","slug":"privacy-preserving-and-software-independent-voting-protocols","status":"publish","type":"post","link":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/","title":{"rendered":"Trust through Software Independence and Program Verification"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"16089\" class=\"elementor elementor-16089 elementor-16039\" data-elementor-post-type=\"post\">\n\t\t\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-6a4316a9 elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-full_width elementor-section-height-default\" data-id=\"6a4316a9\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;shape_divider_bottom&quot;:&quot;triangle&quot;,&quot;shape_divider_bottom_negative&quot;:&quot;yes&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-shape elementor-shape-bottom\" aria-hidden=\"true\" data-negative=\"true\">\n\t\t\t<svg xmlns=\"http:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 1000 100\" preserveAspectRatio=\"none\">\n\t<path class=\"elementor-shape-fill\" d=\"M500.2,94.7L0,0v100h1000V0L500.2,94.7z\"\/>\n<\/svg>\t\t<\/div>\n\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-64712286\" data-id=\"64712286\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-inner-section elementor-element elementor-element-a360e6f elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"a360e6f\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-5057a08d\" data-id=\"5057a08d\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-174afa94 elementor-widget elementor-widget-heading\" data-id=\"174afa94\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h2 class=\"elementor-heading-title elementor-size-default\">DIREC-projekt<\/h2>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-66ca3649 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"66ca3649\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeIn&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h1 class=\"elementor-heading-title elementor-size-default\">Trust through software independence and program verification<\/h1>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-inner-column elementor-element elementor-element-7ec9892\" data-id=\"7ec9892\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-7201460a elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"7201460a\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-41bd4d22\" data-id=\"41bd4d22\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-546f9748 elementor-widget elementor-widget-heading\" data-id=\"546f9748\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">Resum\u00e9<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-1dfd16ba\" data-id=\"1dfd16ba\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-32f7eb14 elementor-widget elementor-widget-text-editor\" data-id=\"32f7eb14\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Der er konstant interesse for internetafstemning fra valgkommissioner rundt om i verden. Dette illustreres godt af Gr\u00f8nland \u2013 deres valglov blev \u00e6ndret i 2020, og tillader nu brugen af internetafstemning. Det er dog ikke let at bygge et internetafstemningssystem: Designet af nye kryptografiske protokoller er udsat for fejl, og offentlighedens tillid til det valgte organ er let truet.<\/p>\n<p>En softwareuafh\u00e6ngig afstemningsprotokol er en, hvor en uopdaget \u00e6ndring eller fejl i software ikke kan for\u00e5rsage en uopdagelig \u00e6ndring eller fejl i et valgresultat. Programverifikationsteknikker er n\u00e5et langt og lover at forbedre p\u00e5lideligheden og cybersikkerheden af valgteknologier, men det er p\u00e5 ingen m\u00e5de klart, om formelt verificerede softwareuafh\u00e6ngige afstemningssystemer ogs\u00e5 \u00f8ger offentlighedens tillid til valg.<\/p>\n<p>Dette projekt vil sammen med myndighederne i Gr\u00f8nland unders\u00f8ge, hvilken effekt programverifikation har p\u00e5 offentlighedens tillid til valgteknologier. Projektet har til form\u00e5l at bidrage til at g\u00f8re internetvalg mere trov\u00e6rdige, hvilket kan styrke udviklings- og post-konfliktdemokratier rundt om i verden.<\/p>\n<p><strong>Projektperiode:<\/strong> 2023-2026<br \/><strong>Budget:<\/strong> 4,6 million kr<\/p>\n<p><strong>Projektleder<\/strong><\/p>\n<ul>\n<li>Professor Carsten Sch\u00fcrmann<\/li>\n<li>Department of Computer Science, ITU<\/li>\n<li>carsten@itu.dk<\/li>\n<\/ul>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-6073d280 elementor-widget elementor-widget-toggle\" data-id=\"6073d280\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;none&quot;}\" data-widget_type=\"toggle.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle\">\n\t\t\t\t\t\t\t<div class=\"elementor-toggle-item\">\n\t\t\t\t\t<div id=\"elementor-tab-title-1611\" class=\"elementor-tab-title\" data-tab=\"1\" role=\"button\" aria-controls=\"elementor-tab-content-1611\" aria-expanded=\"false\">\n\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon elementor-toggle-icon-left\" aria-hidden=\"true\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-closed\"><i class=\"fas fa-caret-right\"><\/i><\/span>\n\t\t\t\t\t\t\t\t<span class=\"elementor-toggle-icon-opened\"><i class=\"elementor-toggle-icon-opened fas fa-caret-up\"><\/i><\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t<a class=\"elementor-toggle-title\" tabindex=\"0\">Mere info (p\u00e5 engelsk)<\/a>\n\t\t\t\t\t<\/div>\n\n\t\t\t\t\t<div id=\"elementor-tab-content-1611\" class=\"elementor-tab-content elementor-clearfix\" data-tab=\"1\" role=\"region\" aria-labelledby=\"elementor-tab-title-1611\"><p>Here are four considerations that explain the unmet needs of this proposed project.<\/p>\n<ol>\n<li>Voting protocols have become increasingly popular and will be more widely deployed in the future as a result of an ongoing digitalization effort of democratic processes.<\/li>\n<li>Elections are based on trust, which means that election systems ideally should be based on algorithms and data structures that are trusted.<\/li>\n<li>Program verification techniques are believed to strengthen this trust.<\/li>\n<li>Greenland laws were recently changed to allow for Internet Voting.<\/li>\n<\/ol>\n<p>The integrity of an election result is best captured through software-independence in the sense of Rivest and Wack\u2019s definition \u201c<em>A voting system is software-independent if an undetected change or error in its software cannot cause an undetectable change or error in an election outcome<\/em>.\u201d Software independence is widely considered a precondition for trust. The assumption that program verification increases trust arises from the fact that those doing the verification are becoming convinced that the system implements its specification. However, the question is if these arguments also convince others not involved in the verification process that the verified system can be trusted, and if not, under which additional assumptions will they trust?<\/p>\n<p>Thus, the topic of this project is to study the effects of program verification on public trust in the context of election technologies. Therefore, this project is structured into two parts. First, can we formally verify software dependence using modern program verification techniques and second, is software-independence sufficient to generate trust.<\/p>\n<p>The research project aims to shed more light on the overall research question, if formal verification of software-independence can strengthen public confidence. Affirming this research question in the positive would lead to a novel understanding of what it means for voting protocols to be trustworthy, it would lead to an understanding how to increase public confidence in Internet Voting, which may be useful for countries that lack trust in the security of paper records.<\/p>\n<p>(RO1) Explore the requirement of software-independence in the context of formal verification of existing Internet voting protocols.<\/p>\n<p>(RO2) Study the public confidence in Greenland with respect to software-independence and formally verified Internet Voting protocols and systems.<\/p>\n<p><strong>Software Independence<\/strong><\/p>\n<p>In order to achieve (RO1), we will consider two theories of what constitutes software-independence. There is the game-theoretic view, which, similar to proof by reduction and simulation in cryptography, reduces software-independence of one protocol to another. The statistical view gives precise bounds on the likelihood of the election technology to produce an incorrect result. We plan to understand how to capture formally the requirement of software-independence by selecting existing or newly developed voting protocols and generate formally verified implementations. For all voting protocols that we design within this project, we will use proof assistants to derive mechanized proofs of software independence.<\/p>\n<p><strong>User Studies<\/strong><\/p>\n<p>To achieve (RO2), we will, together with the Domestic Affairs Division, Govern-ment of Greenland study the effects of formal verification of software independence on public confidence. The core hypothesis of these studies is that strategic communication of concepts, such as software inde-pendence, can be applied in such a way that it strengthens public confidence. We will invite Greenland voters to participate in pilot demonstrations and user studies and will evaluate answers qualitatively and quantitatively.<\/p>\n<p><strong>Scientific value<\/strong><br \/>Internet voting provides a unique collection of challenges, such as election integrity, vote privacy, receipt-freeness, coercion resistance, and dispute resolution. Here we aim to focus on election integrity, and show that if we were to verify formally the property of software-independence of a voting system that would increase the public confidence of the voters in the accuracy of the election result.<\/p>\n<p><strong>Capacity building<\/strong><br \/>The proposed project pursues two kinds of capacity building. First, by training the PhD student and university students affiliated with the project, making Denmark a leading place for secure Internet voting. Second, if successful, the results of the project will contribute to the Greenland voting project and to international capacity building in the sense that they will strengthen democratic institutions.<\/p>\n<p><strong>Societal value<\/strong><br \/>Some nations are rethinking their respective electoral processes and the ways they hold elections. Since the start of the Covid-19 pandemic, approximately a third of all nations scheduled to hold a national election, have postponed them. It is therefore not surprising that countries are exploring Internet Voting as an additional voting channel. The result of this project would contribute to making Internet election more credible, and therefore strengthen developing and post-conflict democracies around the world.<\/p>\n<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-6cc9bf67 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"6cc9bf67\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-34276ba0\" data-id=\"34276ba0\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-37d63bcf elementor-widget elementor-widget-heading\" data-id=\"37d63bcf\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h4 class=\"elementor-heading-title elementor-size-default\">V\u00e6rdi<\/h4>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-5dc73510\" data-id=\"5dc73510\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-1d4c8ac2 elementor-widget elementor-widget-text-editor\" data-id=\"1d4c8ac2\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Projektet skaber v\u00e6rdi ved at \u00f8ge trov\u00e6rdigheden af internetstemmesystemer, hvilket styrker udviklingslande og post-konflikt demokratier verden over, is\u00e6r i forhold til lande, der revurderer deres valgprocesser midt i udfordringer som Covid-19 pandemien.<\/p>\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<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-7c3dfe31 elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-stretched elementor-section-boxed elementor-section-height-default\" data-id=\"7c3dfe31\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;stretch_section&quot;:&quot;section-stretched&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-4840226d\" data-id=\"4840226d\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-5294c673 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"5294c673\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeIn&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Insights<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-54c575a9 elementor-section-stretched elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"54c575a9\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;stretch_section&quot;:&quot;section-stretched&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-4337e3b\" data-id=\"4337e3b\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-696f9dc4 elementor-widget__width-initial elementor-widget elementor-widget-eael-post-list\" data-id=\"696f9dc4\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"eael-post-list.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<div class=\"eael-post-list-container default layout-default\"><div class=\"eael-post-list-wrap\"><div class=\"eael-post-list-posts-wrap eael-post-appender eael-post-appender-696f9dc4\"><div class=\"eael-post-list-post \"><div class=\"eael-post-list-thumbnail \"><a href=\"https:\/\/direc.dk\/da\/forskningsprojekt-om-internetvalg-i-groenland-skal-give-bedre-beslutningsgrundlag\/\">\n                            <img decoding=\"async\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2022\/12\/Trust-through-software-independence-1024x546.jpg\" alt=\"\">\n                        <\/a><\/div><div class=\"eael-post-list-content\"><h2 class=\"eael-post-list-title\"><a href=\"https:\/\/direc.dk\/da\/forskningsprojekt-om-internetvalg-i-groenland-skal-give-bedre-beslutningsgrundlag\/\" >Forskningsprojekt om internetvalg i Gr\u00f8nland skal give bedre beslutningsgrundlag<\/a><\/h2><div class=\"meta\"><span class=\"eael-post-published-date\"><i class=\"far fa-calendar-alt\"><\/i> 19. december 2022<\/span><\/div><\/div><\/div><\/div><\/div>\n\t\t<\/div>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-4265bb9b\" data-id=\"4265bb9b\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-top-section elementor-element elementor-element-6dd14846 elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-stretched elementor-section-boxed elementor-section-height-default\" data-id=\"6dd14846\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;stretch_section&quot;:&quot;section-stretched&quot;,&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-1d79d7f2\" data-id=\"1d79d7f2\" data-element_type=\"column\" data-e-type=\"column\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;}\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t<div class=\"elementor-background-overlay\"><\/div>\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-214f942 animated-fast elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"214f942\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeIn&quot;}\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Partnere<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<section data-particle_enable=\"false\" data-particle-mobile-disabled=\"false\" class=\"elementor-section elementor-inner-section elementor-element elementor-element-64067100 elementor-section-content-top elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"64067100\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;jet_parallax_layout_list&quot;:[]}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-25 elementor-inner-column elementor-element elementor-element-3ad9d886\" data-id=\"3ad9d886\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-d752b22 elementor-widget elementor-widget-image\" data-id=\"d752b22\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img fetchpriority=\"high\" decoding=\"async\" width=\"800\" height=\"89\" src=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1024x114.png\" class=\"attachment-large size-large wp-image-5995\" alt=\"\" srcset=\"https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1024x114.png 1024w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-300x33.png 300w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-768x86.png 768w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1536x171.png 1536w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1200x134.png 1200w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK-1980x221.png 1980w, https:\/\/direc.dk\/wp-content\/uploads\/2021\/08\/ITU_logo_DK.png 2002w\" sizes=\"(max-width: 800px) 100vw, 800px\" \/>\t\t\t\t\t\t\t\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<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-25 elementor-inner-column elementor-element elementor-element-651ccebb\" data-id=\"651ccebb\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-25 elementor-inner-column elementor-element elementor-element-733c9b75\" data-id=\"733c9b75\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t<div class=\"elementor-column elementor-col-25 elementor-inner-column elementor-element elementor-element-6cf5bfec\" data-id=\"6cf5bfec\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap\">\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>Gr\u00f8nlands valglov blev \u00e6ndret i 2020 og tillader nu brugen af internetafstemning. Dette projekt vil sammen med myndighederne i Gr\u00f8nland unders\u00f8ge, hvilken effekt programverifikation har p\u00e5 offentlighedens tillid til valgteknologier. Projektet har til form\u00e5l at bidrage til at g\u00f8re internetvalg mere trov\u00e6rdige, hvilket kan styrke udviklings- og post-konfliktdemokratier rundt om i verden.<\/p>\n","protected":false},"author":3,"featured_media":25330,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[32,210,218],"tags":[77],"class_list":["post-16089","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-bridge-projekt","category-cybersikkerhed","category-projekt","tag-ws8-da"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.9 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Trust through Software Independence and Program Verification - DIREC<\/title>\n<meta name=\"description\" content=\"There is constant interest for Internet Voting by election commissions around the world. Greenland illustrates this well. Greenland\u2019s election law was changed in 2020, which now permits the use of Internet Voting. However, building Internet Voting system is not easy: the design of new cryptographic protocols is error-prone and public trust in the elected body easily threatened.\" \/>\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\/privacy-preserving-and-software-independent-voting-protocols\/\" \/>\n<meta property=\"og:locale\" content=\"da_DK\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Trust through Software Independence and Program Verification - DIREC\" \/>\n<meta property=\"og:description\" content=\"There is constant interest for Internet Voting by election commissions around the world. Greenland illustrates this well. Greenland\u2019s election law was changed in 2020, which now permits the use of Internet Voting. However, building Internet Voting system is not easy: the design of new cryptographic protocols is error-prone and public trust in the elected body easily threatened.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/\" \/>\n<meta property=\"og:site_name\" content=\"DIREC\" \/>\n<meta property=\"article:published_time\" content=\"2022-08-17T20:06:56+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-10-20T12:51:57+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/direc.dk\/wp-content\/uploads\/2022\/08\/Trust-through-software-independence.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=\"8 minutter\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/\"},\"author\":{\"name\":\"Susanne Br\u00f8ndberg\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/person\\\/3fcdff2b9bc83fcb7b642fa67a946f38\"},\"headline\":\"Trust through Software Independence and Program Verification\",\"datePublished\":\"2022-08-17T20:06:56+00:00\",\"dateModified\":\"2025-10-20T12:51:57+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/\"},\"wordCount\":990,\"publisher\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2022\\\/08\\\/Trust-through-software-independence.jpg\",\"keywords\":[\"WS8\"],\"articleSection\":[\"Bridge-projekt\",\"Cybersikkerhed\",\"Projekt\"],\"inLanguage\":\"da-DK\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/\",\"name\":\"Trust through Software Independence and Program Verification - DIREC\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2022\\\/08\\\/Trust-through-software-independence.jpg\",\"datePublished\":\"2022-08-17T20:06:56+00:00\",\"dateModified\":\"2025-10-20T12:51:57+00:00\",\"description\":\"There is constant interest for Internet Voting by election commissions around the world. Greenland illustrates this well. Greenland\u2019s election law was changed in 2020, which now permits the use of Internet Voting. However, building Internet Voting system is not easy: the design of new cryptographic protocols is error-prone and public trust in the elected body easily threatened.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/#breadcrumb\"},\"inLanguage\":\"da-DK\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/#primaryimage\",\"url\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2022\\\/08\\\/Trust-through-software-independence.jpg\",\"contentUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2022\\\/08\\\/Trust-through-software-independence.jpg\",\"width\":1920,\"height\":1080},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/privacy-preserving-and-software-independent-voting-protocols\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/direc.dk\\\/da\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Trust through Software Independence and Program Verification\"}]},{\"@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":"Trust through Software Independence and Program Verification - DIREC","description":"There is constant interest for Internet Voting by election commissions around the world. Greenland illustrates this well. Greenland\u2019s election law was changed in 2020, which now permits the use of Internet Voting. However, building Internet Voting system is not easy: the design of new cryptographic protocols is error-prone and public trust in the elected body easily threatened.","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\/privacy-preserving-and-software-independent-voting-protocols\/","og_locale":"da_DK","og_type":"article","og_title":"Trust through Software Independence and Program Verification - DIREC","og_description":"There is constant interest for Internet Voting by election commissions around the world. Greenland illustrates this well. Greenland\u2019s election law was changed in 2020, which now permits the use of Internet Voting. However, building Internet Voting system is not easy: the design of new cryptographic protocols is error-prone and public trust in the elected body easily threatened.","og_url":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/","og_site_name":"DIREC","article_published_time":"2022-08-17T20:06:56+00:00","article_modified_time":"2025-10-20T12:51:57+00:00","og_image":[{"width":1920,"height":1080,"url":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/08\/Trust-through-software-independence.jpg","type":"image\/jpeg"}],"author":"Susanne Br\u00f8ndberg","twitter_card":"summary_large_image","twitter_misc":{"Skrevet af":"Susanne Br\u00f8ndberg","Estimeret l\u00e6setid":"8 minutter"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/#article","isPartOf":{"@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/"},"author":{"name":"Susanne Br\u00f8ndberg","@id":"https:\/\/direc.dk\/da\/#\/schema\/person\/3fcdff2b9bc83fcb7b642fa67a946f38"},"headline":"Trust through Software Independence and Program Verification","datePublished":"2022-08-17T20:06:56+00:00","dateModified":"2025-10-20T12:51:57+00:00","mainEntityOfPage":{"@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/"},"wordCount":990,"publisher":{"@id":"https:\/\/direc.dk\/da\/#organization"},"image":{"@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/08\/Trust-through-software-independence.jpg","keywords":["WS8"],"articleSection":["Bridge-projekt","Cybersikkerhed","Projekt"],"inLanguage":"da-DK"},{"@type":"WebPage","@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/","url":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/","name":"Trust through Software Independence and Program Verification - DIREC","isPartOf":{"@id":"https:\/\/direc.dk\/da\/#website"},"primaryImageOfPage":{"@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/#primaryimage"},"image":{"@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/08\/Trust-through-software-independence.jpg","datePublished":"2022-08-17T20:06:56+00:00","dateModified":"2025-10-20T12:51:57+00:00","description":"There is constant interest for Internet Voting by election commissions around the world. Greenland illustrates this well. Greenland\u2019s election law was changed in 2020, which now permits the use of Internet Voting. However, building Internet Voting system is not easy: the design of new cryptographic protocols is error-prone and public trust in the elected body easily threatened.","breadcrumb":{"@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/#breadcrumb"},"inLanguage":"da-DK","potentialAction":[{"@type":"ReadAction","target":["https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/"]}]},{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/#primaryimage","url":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/08\/Trust-through-software-independence.jpg","contentUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2022\/08\/Trust-through-software-independence.jpg","width":1920,"height":1080},{"@type":"BreadcrumbList","@id":"https:\/\/direc.dk\/da\/privacy-preserving-and-software-independent-voting-protocols\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/direc.dk\/da\/"},{"@type":"ListItem","position":2,"name":"Trust through Software Independence and Program Verification"}]},{"@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":"","dynamic_page_partners":"","dynamic_page_scientific_impact":"","dynamic_page_people":"","dynamic_page_project_period":"","dynamic_page_funding":"","dynamic_page_publications":"","dynamic_page_cover_image":"","_links":{"self":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/16089","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=16089"}],"version-history":[{"count":3,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/16089\/revisions"}],"predecessor-version":[{"id":38239,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/16089\/revisions\/38239"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media\/25330"}],"wp:attachment":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media?parent=16089"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/categories?post=16089"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/tags?post=16089"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}