{"id":660,"date":"2023-06-26T06:54:52","date_gmt":"2023-06-26T06:54:52","guid":{"rendered":"https:\/\/website.prod.unilu.spikeseed.cloud\/snt-en\/?post_type=research-groups&#038;p=660"},"modified":"2025-10-21T09:19:06","modified_gmt":"2025-10-21T07:19:06","slug":"strategy-lab","status":"publish","type":"research-groups","link":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/","title":{"rendered":"Strategy Lab"},"content":{"rendered":"<div class=\"section py-0 static\">\n<section class=\"py-0 wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><!-- SecondaryNavigationMirror --><div class=\"js-secondary-nav--sticky wp-block-unilux-blocks-secondary-navigation\" id=\"051fa0b4-3808-46c4-a404-d87c7983cef8\">\n    <nav id=\"secondary-navigation\" role=\"navigation\" aria-label=\"Secondary menu\" class=\"secondary-nav\">\n        <button class=\"secondary-nav__button btn btn-solid--primary w-full\" aria-expanded=\"false\" aria-controls=\"secondary-navigation__list\" title=\"The selected page is Strategy Lab\" type=\"button\">\n            <span class=\"btn__name mr-auto\">Strategy Lab<\/span>\n            <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n                <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-down\" \/>\n            <\/svg>\n        <\/button>\n\n        <ul id=\"secondary-navigation__list\" class=\"secondary-nav__list\">\n            <li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Overview<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Research<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link isactived\" aria-current=\"page\">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Strategy Lab<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/quantum-lab\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Quantum Lab<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/publications\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Publications<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/partners\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">Partners<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/people\/\" target=\"\" rel=\"noreferrer noopener\" class=\"secondary-nav__link \">\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--xs\">\n            <use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\" \/>\n        <\/svg>\n        <span class=\"secondary-nav__name\">People<\/span>\n    <\/a>\n<\/li>\n        <\/ul>\n    <\/nav>\n<\/div>\n<!-- end SecondaryNavigationMirror --><\/div><\/section>\n\n\n<section class=\"section section pb-0 wp-block-unilux-blocks-page-intro \">\n    \n<div class=\"wp-block-unilux-blocks-wrapper container xl:max-w-screen-xl\">\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-wrap -mx-16\">\n<div class=\"wp-block-unilux-blocks-wrapper flex-1 mb-48 px-16\">\n<h1 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"strategy-lab\"\n    >\nStrategy Lab<\/h1>\n\n\n\n<p>The Strategy Lab is a subgroup of APSIA specialising in strategic reasoning and verification. We focus on the use of formal methods to model and reason about the possible behaviour of human participants in socio-technical systems, such as e-voting protocols. To achieve that, we use formalisations in agent logics, process algebras, and models of game theory.<\/p>\n\n\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list\"><li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/research\/\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >Research<\/a>\n<\/li>\n\n\n<li class=\"wp-block-unilux-blocks-custom-button\"    aria-disabled=\"false\"\n    >\n    <a\n        role=\"link\"\n        aria-disabled=\"false\"\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/quantum-lab\/\"\n                target=\"_self\"\n        class=\"btn btn--secondary\"\n            >Quantum Lab<\/a>\n<\/li>\n<\/ul>\n<\/div>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper w-full md:w-auto px-16\">\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-col items-center\">\n<h2 class=\"text-h4 has-text-align-left wp-block-unilux-blocks-heading\"        id=\"find-out-more\"\n    >\nFind Out More<\/h2>\n\n\n<a class=\"wp-block-unilux-blocks-button-highlight-square\"\n    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/publications\/\"\n    target=\"_self\"\n>\n    <span class=\"btn-highlight-square__container\">\n        <div class=\"btn-highlight-square__body\">\n    <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-long-right icon--xl\"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-long-right\"><\/use><\/svg>    <span class=\"btn btn--dark\">\n        \n<span class=\"btn__name wp-block-unilux-blocks-plain-text\">Our Publications<\/span>    <\/span>\n<\/div><figure class=\"wp-block-dev4-reusable-blocks-image image-bg object-fit--cover\">\n    \n<img decoding=\"async\" class=\"wp-block-image unilux-custom-image-block\"\n                alt=\"\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Publications-SnT-Research-Groups.png\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Publications-SnT-Research-Groups-300x225.png 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Publications-SnT-Research-Groups-768x576.png 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/Publications-SnT-Research-Groups.png 1024w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 3\/4; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>    <\/span>\n<\/a><\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n\n\n<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\">\n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"research-interests\"\n    >\nResearch Interests<\/h2>\n\n\n\n<div class=\"wp-block-columns is-layout-flex wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><strong>Our Research Interests Include:<\/strong><\/p>\n\n\n\n<ul class=\"ulux-list\">\n<li class=\"ulux-list-item\">Formal models of socio-technical systems<\/li>\n\n\n\n<li class=\"ulux-list-item\">Formal specification and reasoning about strategies of users and adversaries in security protocols<\/li>\n\n\n\n<li class=\"ulux-list-item\">Game theoretic models: players, threats, and incentives<\/li>\n\n\n\n<li class=\"ulux-list-item\">Rational security and rational cryptography<\/li>\n\n\n\n<li class=\"ulux-list-item\">Model checking of strategic properties in socio-technical systems<\/li>\n\n\n\n<li class=\"ulux-list-item\">Quantum strategies and their relationship to quantum and post-quantum security<\/li>\n<\/ul>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><strong>Current<\/strong>&nbsp;<strong>Members:<\/strong><\/p>\n\n\n\n<ul class=\"ulux-list\">\n<li class=\"ulux-list-item\">Wojchiech Jamroga<\/li>\n\n\n\n<li class=\"ulux-list-item\">Peter B. Roenne<\/li>\n\n\n\n<li class=\"ulux-list-item\">Peter Y. A. Ryan<\/li>\n\n\n\n<li class=\"ulux-list-item\">Masoud Tabatabaei<\/li>\n\n\n\n<li class=\"ulux-list-item\">Marie-Laure Zollinger<\/li>\n\n\n\n<li class=\"ulux-list-item\">Yan Kim<\/li>\n<\/ul>\n<\/div>\n<\/div>\n<\/div><\/section>\n\n\n\n<section class=\"py-0 wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\"><div class=\"flex flex-wrap -mx-16  wp-block-unilux-blocks-highlighted-person-list\">\n    <div class=\"w-full md:w-1\/2 px-16  wp-block-unilux-blocks-highlighted-person-list-item\">\n    \n<h3 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"head-of-lab\"\n    >\nHead of Lab<\/h3>\n\n<div class=\"wp-block-unilux-blocks-wrapper list-people bg-theme\">\n<div class=\"wp-block-unilux-blocks-wrapper list-people__container\">\n<div class=\"wp-block-unilux-blocks-wrapper list-people__visual\"><figure class=\"wp-block-dev4-reusable-blocks-image w-full object-fit--cover\">\n    \n<img decoding=\"async\" class=\"wp-block-image unilux-custom-image-block\"\n                alt=\"Portrait photo of Prof. Peter Ryan\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/07\/Peter_Ryan.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/07\/Peter_Ryan-300x200.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/07\/Peter_Ryan-768x512.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/07\/Peter_Ryan.jpg 1000w\"\n                style=\"object-position: 92.00% 56.00%; font-family: &quot;object-fit: cover; object-position: 92.00% 56.00%;&quot;; aspect-ratio: 1\/1; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure><\/div>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper list-people__body\">\n<h5 class=\"list-people__title has-text-align-left wp-block-unilux-blocks-heading\"        id=\"prof-peter-ryan\"\n    >\nProf. Peter Ryan<\/h5>\n\n\n\n<p class=\"list-people__description wp-block-unilux-blocks-plain-text\">Full Professor in Computer Science and Applied Security<\/p>\n\n<div class=\"wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/en\/person\/NTAwMDI5NjVfX1BldGVyIFkgQSBSWUFO\/\"\n        title=\"Learn More\"\n        class=\"link-text link-text--icon \"\n        target=\"_blank\"\n    >\n        <span class=\"link-text__body\">\n            <span class=\"link-text__name\">Learn More<\/span>\n        <\/span>\n        <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--external-link \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--external-link\"><\/use><\/svg>    <\/a>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div><\/div>\n\n\n<p><\/p>\n<\/div><\/section>\n\n\n<section class=\"section section wp-block-unilux-blocks-quick-link-discover-section\">\n    <div class=\"container xl:max-w-screen-xl\">\n        \n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"discover-more-about-apsia\"\n    >\nDiscover More About APSIA<\/h2>\n\n<ul class=\"wp-block-unilux-blocks-quick-link-discover quick-link-list\">\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/quantum-lab\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Quantum Lab                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n\n\n\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/partners\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Partners                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n\n\n\n<li class=\"wp-block-unilux-blocks-quick-link-discover-item\">\n    <a\n                    href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/publications\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Publications                <\/span>\n                <svg aria-hidden=\"true\" focusable=\"false\" class=\"icon icon-outline icon--arrow-right \"><use xlink:href=\"https:\/\/www.uni.lu\/wp-content\/themes\/unilux-theme\/assets\/images\/icons\/icons-outline.svg#icon--arrow-right\"><\/use><\/svg>            <\/span>\n    <\/a>\n<\/li>\n<\/ul>\n    <\/div>\n<\/section><\/div>","protected":false},"excerpt":{"rendered":"<p>The Strategy Lab is a subgroup of APSIA specialising in strategic reasoning and verification. We focus on the use of formal methods to model and reason about the possible behaviour of human participants in socio-technical systems, such as e-voting protocols. To achieve that, we use formalisations in agent logics, process algebras, and models of game theory.<\/p>\n","protected":false},"author":154,"featured_media":0,"parent":657,"menu_order":0,"template":"","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"Applied Security and Information Assurance (APSIA)","uluxPrePostTitle":"Research group","_trash_the_other_posts":false,"_price":"","_stock":"","_tribe_ticket_header":"","_tribe_default_ticket_provider":"","_tribe_ticket_capacity":"0","_ticket_start_date":"","_ticket_end_date":"","_tribe_ticket_show_description":"","_tribe_ticket_show_not_going":false,"_tribe_ticket_use_global_stock":"","_tribe_ticket_global_stock_level":"","_global_stock_mode":"","_global_stock_cap":"","_tribe_rsvp_for_event":"","_tribe_ticket_going_count":"","_tribe_ticket_not_going_count":"","_tribe_tickets_list":"[]","_tribe_ticket_has_attendee_info_fields":false},"field-of-interest":[],"organisation":[],"authorship":[154],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v22.3) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Strategy Lab - Applied Security and Information Assurance - LCSB research group I University of Luxembourg<\/title>\n<meta name=\"description\" content=\"The Strategy Lab is a subgroup of APSIA that specialises in strategic reasoning and verification for socio-technical systems.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Strategy Lab\" \/>\n<meta property=\"og:description\" content=\"The Strategy Lab is a subgroup of APSIA that specialises in strategic reasoning and verification for socio-technical systems.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT EN\" \/>\n<meta property=\"article:modified_time\" content=\"2025-10-21T07:19:06+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"2560\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Estimated reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/\",\"name\":\"Strategy Lab - Applied Security and Information Assurance - LCSB research group I University of Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\"},\"datePublished\":\"2023-06-26T06:54:52+00:00\",\"dateModified\":\"2025-10-21T07:19:06+00:00\",\"description\":\"The Strategy Lab is a subgroup of APSIA that specialises in strategic reasoning and verification for socio-technical systems.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/en\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Interdisciplinary Centre for Security, Reliability and Trust (SnT)\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Research Groups\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Applied Security and Information Assurance (APSIA)\",\"item\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/\"},{\"@type\":\"ListItem\",\"position\":5,\"name\":\"Strategy Lab\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"name\":\"SnT\",\"description\":\"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\"},\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust I University of Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#organization\",\"name\":\"SnT - University of Luxembourg I Uni.lu\",\"alternateName\":\"Interdisciplinary Centre for Security, Reliability and Trust\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"SnT - University of Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.linkedin.com\/school\/snt-lu\/\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Strategy Lab - Applied Security and Information Assurance - LCSB research group I University of Luxembourg","description":"The Strategy Lab is a subgroup of APSIA that specialises in strategic reasoning and verification for socio-technical systems.","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:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/","og_locale":"en_GB","og_type":"article","og_title":"Strategy Lab","og_description":"The Strategy Lab is a subgroup of APSIA that specialises in strategic reasoning and verification for socio-technical systems.","og_url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/","og_site_name":"SnT EN","article_modified_time":"2025-10-21T07:19:06+00:00","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/","url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/","name":"Strategy Lab - Applied Security and Information Assurance - LCSB research group I University of Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-en\/#website"},"datePublished":"2023-06-26T06:54:52+00:00","dateModified":"2025-10-21T07:19:06+00:00","description":"The Strategy Lab is a subgroup of APSIA that specialises in strategic reasoning and verification for socio-technical systems.","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/strategy-lab\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/en"},{"@type":"ListItem","position":2,"name":"Interdisciplinary Centre for Security, Reliability and Trust (SnT)","item":"https:\/\/www.uni.lu\/snt-en\/"},{"@type":"ListItem","position":3,"name":"Research Groups","item":"https:\/\/www.uni.lu\/snt-en\/research-groups\/"},{"@type":"ListItem","position":4,"name":"Applied Security and Information Assurance (APSIA)","item":"https:\/\/www.uni.lu\/snt-en\/research-groups\/apsia\/"},{"@type":"ListItem","position":5,"name":"Strategy Lab"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/snt-en\/#website","url":"https:\/\/www.uni.lu\/snt-en\/","name":"SnT","description":"Interdisciplinary Centre for Security, Reliability and Trust I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/snt-en\/#organization"},"alternateName":"Interdisciplinary Centre for Security, Reliability and Trust I University of Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/snt-en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/snt-en\/#organization","name":"SnT - University of Luxembourg I Uni.lu","alternateName":"Interdisciplinary Centre for Security, Reliability and Trust","url":"https:\/\/www.uni.lu\/snt-en\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2026\/03\/03112604\/SNT_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"SnT - University of Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/snt-en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.linkedin.com\/school\/snt-lu\/"]}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/660"}],"collection":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups"}],"about":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/types\/research-groups"}],"author":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/154"}],"version-history":[{"count":5,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/660\/revisions"}],"predecessor-version":[{"id":17204,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/660\/revisions\/17204"}],"up":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/657"}],"wp:authorship":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/154"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/media?parent=660"}],"wp:term":[{"taxonomy":"field-of-interest","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/field-of-interest?post=660"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/organisation?post=660"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}