{"id":34308,"date":"2024-04-07T09:47:53","date_gmt":"2024-04-07T09:47:53","guid":{"rendered":"https:\/\/direc.dk\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/"},"modified":"2025-05-16T13:01:12","modified_gmt":"2025-05-16T13:01:12","slug":"phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees","status":"publish","type":"post","link":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/","title":{"rendered":"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-post\" data-elementor-id=\"34308\" class=\"elementor elementor-34308 elementor-34294\" 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-2917fb41 elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-section-boxed elementor-section-height-default\" data-id=\"2917fb41\" 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\t<div class=\"elementor-background-overlay\"><\/div>\n\t\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-50 elementor-top-column elementor-element elementor-element-3a2aa33a\" data-id=\"3a2aa33a\" 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-415c3f05 elementor-widget elementor-widget-text-editor\" data-id=\"415c3f05\" 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>PhD Defence by Alyzia-Maria Konsta<\/p>\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-7eca67 animated-fast elementor-widget__width-initial elementor-invisible elementor-widget elementor-widget-heading\" data-id=\"7eca67\" 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\">Synthesis and optimal observability for attack trees<\/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-top-column elementor-element elementor-element-1ebea011\" data-id=\"1ebea011\" 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-60ee0bee elementor-align-start elementor-icon-list--layout-traditional elementor-list-item-link-full_width elementor-widget elementor-widget-icon-list\" data-id=\"60ee0bee\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"icon-list.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<ul class=\"elementor-icon-list-items\">\n\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-location-arrow\"><\/i>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">The Technical University of Denmark<br>2800 Kongens Lyngby<br>Building 306, auditorium 35<\/span>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"far fa-calendar-alt\"><\/i>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">7 April 2025, 14:00<\/span>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"far fa-comment-alt\"><\/i>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Language: English<\/span>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t\t\t<li class=\"elementor-icon-list-item\">\n\t\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-icon\">\n\t\t\t\t\t\t\t<i aria-hidden=\"true\" class=\"fas fa-user-friends\"><\/i>\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t\t\t\t\t<span class=\"elementor-icon-list-text\">Host: <br>DTU Compute<\/span>\n\t\t\t\t\t\t\t\t\t<\/li>\n\t\t\t\t\t\t<\/ul>\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-4d15ea9d elementor-section-height-min-height elementor-section-items-stretch elementor-section-content-middle elementor-reverse-mobile elementor-reverse-tablet elementor-section-boxed elementor-section-height-default\" data-id=\"4d15ea9d\" 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-no\">\n\t\t\t\t\t<div class=\"elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-131a41ec\" data-id=\"131a41ec\" 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-f66e539 elementor-widget elementor-widget-text-editor\" data-id=\"f66e539\" 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><strong>Principal supervisor:<\/strong>\u00a0Professor Alberto Lluch Lafuente, DTU Compute<br \/><strong>Co-supervisor:<\/strong> Professor Nicola Dragoni, DTU Compute<\/p>\n<p><strong>Examiners<\/strong>\u2028<br \/>Associate Professor Anne Haxthausen, DTU Compute<br \/>Senior Researcher Maurice Ter Beek, National Research Council<br \/>Associate Professor Andrea Vandin, Sant&#8217;Anna School for Advanced Studies<\/p>\n<p><strong>Chairperson at defence:\u2028<\/strong> Associate professor Andrey Rivkin, DTU Compute<\/p>\n<p>A copy of the PhD thesis is available for reading at the department.<\/p>\n<p>For online participation, please use the following link:<\/p>\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-685fd13 elementor-widget elementor-widget-button\" data-id=\"685fd13\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"button.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<div class=\"elementor-button-wrapper\">\n\t\t\t\t\t<a class=\"elementor-button elementor-button-link elementor-size-sm\" href=\"https:\/\/dtudk.zoom.us\/j\/61501905101?pwd=0jK4WwJ2JoYNUTef3F8fRUrmfc8xYz.1\">\n\t\t\t\t\t\t<span class=\"elementor-button-content-wrapper\">\n\t\t\t\t\t\t\t\t\t<span class=\"elementor-button-text\">Participate online<\/span>\n\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/div>\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-ccd0137 elementor-widget-divider--view-line elementor-widget elementor-widget-divider\" data-id=\"ccd0137\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"divider.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<div class=\"elementor-divider\">\n\t\t\t<span class=\"elementor-divider-separator\">\n\t\t\t\t\t\t<\/span>\n\t\t<\/div>\n\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-18b588f9 elementor-invisible elementor-widget elementor-widget-text-editor\" data-id=\"18b588f9\" data-element_type=\"widget\" data-e-type=\"widget\" data-settings=\"{&quot;_animation&quot;:&quot;fadeIn&quot;}\" 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<h5>Abstract<\/h5>\n<p>As electronic device usage grows, vast amounts of sensitive data are stored and processed on local or remote servers, making the need of security crucial. One method to assess system security is through graphical security models like attack trees, which depicts all possible attack paths in a hierarchical structure. Traditionally, security experts design these trees manually, a process that can be tedious and error-prone. This thesis explores the automatic synthesis of attack trees using event logs from attacked systems, providing insights into exploited vulnerabilities. Additionally, it examines how to automatically apply countermeasures by controlling an attacker&#8217;s observability, such as obfuscating data.<\/p>\n<p>For example, in a login system, if a user enters incorrect credentials, the system can either specify whether the username or password is wrong or provide a generic error message. The latter approach increases security by preventing attackers from narrowing down valid credentials but may reduce usability. Hence we explore ways of how a security expert can obfuscate (hide) specific aspect of the system under a budget (for example usability) in order to keep the attackers reward (for example gained knowledge) under a given threshold.\u00a0<\/p>\n<p>This work provides a solid starting point for improving security analysis and countermeasures. The results are promising and offer new ideas and tools for future research in automated security and decision-making.<\/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<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p><b>7 April 2025<\/b><br \/>\nThe Technical University of Denmark<\/p>\n","protected":false},"author":3,"featured_media":34300,"comment_status":"closed","ping_status":"open","sticky":false,"template":"elementor_header_footer","format":"standard","meta":{"footnotes":""},"categories":[37],"tags":[],"class_list":["post-34308","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-previous-events-da"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.8 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees - DIREC<\/title>\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\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/\" \/>\n<meta property=\"og:locale\" content=\"da_DK\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees - DIREC\" \/>\n<meta property=\"og:description\" content=\"7 April 2025 The Technical University of Denmark\" \/>\n<meta property=\"og:url\" content=\"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/\" \/>\n<meta property=\"og:site_name\" content=\"DIREC\" \/>\n<meta property=\"article:published_time\" content=\"2024-04-07T09:47:53+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-05-16T13:01:12+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/direc.dk\/wp-content\/uploads\/2024\/04\/Phd-forsvar-Alyzia.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=\"2 minutter\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/\"},\"author\":{\"name\":\"Susanne Br\u00f8ndberg\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#\\\/schema\\\/person\\\/3fcdff2b9bc83fcb7b642fa67a946f38\"},\"headline\":\"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees\",\"datePublished\":\"2024-04-07T09:47:53+00:00\",\"dateModified\":\"2025-05-16T13:01:12+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/\"},\"wordCount\":325,\"publisher\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/Phd-forsvar-Alyzia.jpg\",\"articleSection\":[\"Afholdte arrangementer\"],\"inLanguage\":\"da-DK\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/\",\"url\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/\",\"name\":\"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees - DIREC\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/Phd-forsvar-Alyzia.jpg\",\"datePublished\":\"2024-04-07T09:47:53+00:00\",\"dateModified\":\"2025-05-16T13:01:12+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/#breadcrumb\"},\"inLanguage\":\"da-DK\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"da-DK\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/#primaryimage\",\"url\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/Phd-forsvar-Alyzia.jpg\",\"contentUrl\":\"https:\\\/\\\/direc.dk\\\/wp-content\\\/uploads\\\/2024\\\/04\\\/Phd-forsvar-Alyzia.jpg\",\"width\":1920,\"height\":1080},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/direc.dk\\\/da\\\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/direc.dk\\\/da\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees\"}]},{\"@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":"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees - DIREC","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\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/","og_locale":"da_DK","og_type":"article","og_title":"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees - DIREC","og_description":"7 April 2025 The Technical University of Denmark","og_url":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/","og_site_name":"DIREC","article_published_time":"2024-04-07T09:47:53+00:00","article_modified_time":"2025-05-16T13:01:12+00:00","og_image":[{"width":1920,"height":1080,"url":"https:\/\/direc.dk\/wp-content\/uploads\/2024\/04\/Phd-forsvar-Alyzia.jpg","type":"image\/jpeg"}],"author":"Susanne Br\u00f8ndberg","twitter_card":"summary_large_image","twitter_misc":{"Skrevet af":"Susanne Br\u00f8ndberg","Estimeret l\u00e6setid":"2 minutter"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/#article","isPartOf":{"@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/"},"author":{"name":"Susanne Br\u00f8ndberg","@id":"https:\/\/direc.dk\/da\/#\/schema\/person\/3fcdff2b9bc83fcb7b642fa67a946f38"},"headline":"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees","datePublished":"2024-04-07T09:47:53+00:00","dateModified":"2025-05-16T13:01:12+00:00","mainEntityOfPage":{"@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/"},"wordCount":325,"publisher":{"@id":"https:\/\/direc.dk\/da\/#organization"},"image":{"@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2024\/04\/Phd-forsvar-Alyzia.jpg","articleSection":["Afholdte arrangementer"],"inLanguage":"da-DK"},{"@type":"WebPage","@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/","url":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/","name":"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees - DIREC","isPartOf":{"@id":"https:\/\/direc.dk\/da\/#website"},"primaryImageOfPage":{"@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/#primaryimage"},"image":{"@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/#primaryimage"},"thumbnailUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2024\/04\/Phd-forsvar-Alyzia.jpg","datePublished":"2024-04-07T09:47:53+00:00","dateModified":"2025-05-16T13:01:12+00:00","breadcrumb":{"@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/#breadcrumb"},"inLanguage":"da-DK","potentialAction":[{"@type":"ReadAction","target":["https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/"]}]},{"@type":"ImageObject","inLanguage":"da-DK","@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/#primaryimage","url":"https:\/\/direc.dk\/wp-content\/uploads\/2024\/04\/Phd-forsvar-Alyzia.jpg","contentUrl":"https:\/\/direc.dk\/wp-content\/uploads\/2024\/04\/Phd-forsvar-Alyzia.jpg","width":1920,"height":1080},{"@type":"BreadcrumbList","@id":"https:\/\/direc.dk\/da\/phd-defence-alyzia-maria-konsta-synthesis-and-optimal-observability-for-attack-trees\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/direc.dk\/da\/"},{"@type":"ListItem","position":2,"name":"PhD defence Alyzia-Maria Konsta: Synthesis and Optimal Observability for Attack Trees"}]},{"@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\/34308","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=34308"}],"version-history":[{"count":1,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/34308\/revisions"}],"predecessor-version":[{"id":34309,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/posts\/34308\/revisions\/34309"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media\/34300"}],"wp:attachment":[{"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/media?parent=34308"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/categories?post=34308"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/direc.dk\/da\/wp-json\/wp\/v2\/tags?post=34308"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}