{"id":4832,"date":"2023-09-10T01:37:15","date_gmt":"2023-09-09T23:37:15","guid":{"rendered":"https:\/\/www.uni.lu\/fstm-en\/?post_type=research-groups&p=4832"},"modified":"2025-06-18T09:36:13","modified_gmt":"2025-06-18T07:36:13","slug":"security-and-trust-of-software-systems","status":"publish","type":"research-groups","link":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/","title":{"rendered":"Security and Trust of Software Systems (SaToSS)"},"content":{"rendered":"
\n \n
\n \n \n Overview<\/span>\n \n \n <\/svg>\n <\/button>\n\n
    \n
  • \n \n \n \n <\/svg>\n Overview<\/span>\n <\/a>\n<\/li>\n
  • \n \n \n \n <\/svg>\n Research<\/span>\n <\/a>\n<\/li>\n
  • \n \n \n \n <\/svg>\n People<\/span>\n <\/a>\n<\/li>\n
  • \n \n \n \n <\/svg>\n Join us<\/span>\n <\/a>\n<\/li>\n <\/ul>\n <\/nav>\n<\/div>\n<\/div>\n\n
    \n
    \n
    \n \n
    \n
    \n<\/span>\n\n\n

    \n
    Unlocking Security, Ensuring Trust<\/h1>\n<\/div>\n<\/header>\n
    \n \n\"\"\n <\/figure>\n
    \n
    \n

    The Security and Trust of Software Systems (SaToSS) group, led by Prof. Sjouke Mauw, is focused on formalizing and applying formal reasoning to real\u2013world security problems and trust issues. <\/p>\n\n\n

      \n\n<\/ul>\n<\/div>\n<\/div>\n <\/div>\n<\/section><\/div>\n<\/div>\n\n
      \n \n
      \n

      \nSaToSS research group<\/h2>\n\n\n\n
      \n
      \n
      \n
      \n \n\"\"\n <\/figure><\/section><\/div>\n\n\n\n
      \n

      \n<\/h3>\n\n\n\n

      The group was established on January 1st, 2007, within the Computer Science and Communications (CSC) research unit of the Faculty of Science, Technology and Communication3 <\/sup>(FSTC) of the University of Luxembourg. Since January 1st, 2020, FSTC has been reorganised and integrated into the Faculty of Science, Technology and Medicine (FSTM) and CSC has become the Department of Computer Science (DCS). SaToSS is part of the laboratories LACS <\/sup>and ComSys, and has a strong connection to the Interdisciplinary Centre for Security, Reliability and Trust <\/sup>(SnT).
      <\/p>\n<\/div>\n\n\n\n

      \n
      \n
      \n

      \n<\/h3>\n\n\n
        \n
      • \n \n
        \n
        <\/div>\n\n\n
        <\/div><\/div>\n<\/li><\/ul>\n\n<\/div>\n<\/div>\n<\/div>\n\n\n\n
        \n
          \n \n
        • \n \n \nPublications<\/span><\/use><\/svg><\/a>\n<\/li>\n<\/ul><\/div>\n\n\n\n
          \n
            <\/ul>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\n\n\n
            \n
            \n \n

            \nHead of Group<\/h3>\n\n
            \n
            \n
            \n \n\"\"\n <\/figure><\/div>\n\n\n\n
            \n
            \nProf. Sjouke MAUW<\/h5>\n\n\n\n

            Full professor in Security and trust of software systems <\/p>\n\n

            \n \n \n Learn More<\/span>\n <\/span>\n <\/use><\/svg> <\/a>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div><\/div><\/div><\/section>\n\n\n\n
            \n

            \nThis group is part of:<\/h3>\n\n\n
              \n
            • \n \n \n
              \n \n\"Faculty <\/figure>\n\n\nFaculty of Science, Technology and Medicine (FSTM)<\/span>\n\n<\/use><\/svg><\/span>\n<\/a>\n<\/li>
            • \n \n \n
              \n \n\"\"\n <\/figure>\n\n\nDepartment of Computer Science<\/span>\n\n<\/use><\/svg><\/span>\n<\/a>\n<\/li><\/ul>\n<\/div><\/section>\n<\/div>","protected":false},"excerpt":{"rendered":"

              The Security and Trust of Software Systems (SaToSS) group, led by Prof. Sjouke Mauw, is focused on formalizing and applying formal reasoning to real\u2013world security problems and trust issues.<\/p>\n","protected":false},"author":33,"featured_media":15871,"parent":0,"menu_order":0,"template":"","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"Security and Trust of Software Systems (SaToSS)","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":[4],"organisation":[31,29],"authorship":[33,133,132,130,223],"acf":[],"yoast_head":"\nSecurity and Trust of Software Systems (SaToSS) - FSTM research group I University of Luxembourg<\/title>\n<meta name=\"description\" content=\"The Security and Trust of Software Systems (SaToSS) group, led by Prof. Sjouke Mauw, is focused on formalizing and applying formal reasoning to real\u2013world security problems and trust issues.\" \/>\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\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Security and Trust of Software Systems (SaToSS)\" \/>\n<meta property=\"og:description\" content=\"The Security and Trust of Software Systems (SaToSS) group, led by Prof. Sjouke Mauw, is focused on formalizing and applying formal reasoning to real\u2013world security problems and trust issues.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/\" \/>\n<meta property=\"og:site_name\" content=\"FSTM EN\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/fstm.uni.lu\/\" \/>\n<meta property=\"article:modified_time\" content=\"2025-06-18T07:36:13+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-image.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"706\" \/>\n\t<meta property=\"og:image:height\" content=\"394\" \/>\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\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/\",\"url\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/\",\"name\":\"Security and Trust of Software Systems (SaToSS) - FSTM research group I University of Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-image.jpg\",\"datePublished\":\"2023-09-09T23:37:15+00:00\",\"dateModified\":\"2025-06-18T07:36:13+00:00\",\"description\":\"The Security and Trust of Software Systems (SaToSS) group, led by Prof. Sjouke Mauw, is focused on formalizing and applying formal reasoning to real\u2013world security problems and trust issues.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-image.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-image.jpg\",\"width\":706,\"height\":394},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.uni.lu\/en\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Faculty of Science, Technology and Medicine\",\"item\":\"https:\/\/www.uni.lu\/fstm-en\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Research Groups\",\"item\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Security and Trust of Software Systems (SaToSS)\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#website\",\"url\":\"https:\/\/www.uni.lu\/fstm-en\/\",\"name\":\"FSTM\",\"description\":\"Faculty of Science, Technology and Medicine I Uni.lu\",\"publisher\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#organization\"},\"alternateName\":\"Faculty of Science, Technology and Medicine I University of Luxembourg\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.uni.lu\/fstm-en\/?s={search_term_string}\"},\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"en-GB\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#organization\",\"name\":\"FSTM - University of Luxembourg I Uni.lu\",\"alternateName\":\"Faculty of Science, Technology and Medicine\",\"url\":\"https:\/\/www.uni.lu\/fstm-en\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg\",\"width\":2560,\"height\":2560,\"caption\":\"FSTM - University of Luxembourg I Uni.lu\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.facebook.com\/fstm.uni.lu\/\",\"https:\/\/www.linkedin.com\/showcase\/fstm-uni-lu\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Security and Trust of Software Systems (SaToSS) - FSTM research group I University of Luxembourg","description":"The Security and Trust of Software Systems (SaToSS) group, led by Prof. Sjouke Mauw, is focused on formalizing and applying formal reasoning to real\u2013world security problems and trust issues.","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\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/","og_locale":"en_GB","og_type":"article","og_title":"Security and Trust of Software Systems (SaToSS)","og_description":"The Security and Trust of Software Systems (SaToSS) group, led by Prof. Sjouke Mauw, is focused on formalizing and applying formal reasoning to real\u2013world security problems and trust issues.","og_url":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/","og_site_name":"FSTM EN","article_publisher":"https:\/\/www.facebook.com\/fstm.uni.lu\/","article_modified_time":"2025-06-18T07:36:13+00:00","og_image":[{"width":706,"height":394,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-image.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\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/","url":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/","name":"Security and Trust of Software Systems (SaToSS) - FSTM research group I University of Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/fstm-en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-image.jpg","datePublished":"2023-09-09T23:37:15+00:00","dateModified":"2025-06-18T07:36:13+00:00","description":"The Security and Trust of Software Systems (SaToSS) group, led by Prof. Sjouke Mauw, is focused on formalizing and applying formal reasoning to real\u2013world security problems and trust issues.","breadcrumb":{"@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-image.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-image.jpg","width":706,"height":394},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.uni.lu\/en"},{"@type":"ListItem","position":2,"name":"Faculty of Science, Technology and Medicine","item":"https:\/\/www.uni.lu\/fstm-en\/"},{"@type":"ListItem","position":3,"name":"Research Groups","item":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/"},{"@type":"ListItem","position":4,"name":"Security and Trust of Software Systems (SaToSS)"}]},{"@type":"WebSite","@id":"https:\/\/www.uni.lu\/fstm-en\/#website","url":"https:\/\/www.uni.lu\/fstm-en\/","name":"FSTM","description":"Faculty of Science, Technology and Medicine I Uni.lu","publisher":{"@id":"https:\/\/www.uni.lu\/fstm-en\/#organization"},"alternateName":"Faculty of Science, Technology and Medicine I University of Luxembourg","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.uni.lu\/fstm-en\/?s={search_term_string}"},"query-input":"required name=search_term_string"}],"inLanguage":"en-GB"},{"@type":"Organization","@id":"https:\/\/www.uni.lu\/fstm-en\/#organization","name":"FSTM - University of Luxembourg I Uni.lu","alternateName":"Faculty of Science, Technology and Medicine","url":"https:\/\/www.uni.lu\/fstm-en\/","logo":{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/fstm-en\/#\/schema\/logo\/image\/","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg","width":2560,"height":2560,"caption":"FSTM - University of Luxembourg I Uni.lu"},"image":{"@id":"https:\/\/www.uni.lu\/fstm-en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/fstm.uni.lu\/","https:\/\/www.linkedin.com\/showcase\/fstm-uni-lu"]}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups\/4832"}],"collection":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups"}],"about":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/types\/research-groups"}],"author":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/33"}],"version-history":[{"count":5,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups\/4832\/revisions"}],"predecessor-version":[{"id":39747,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups\/4832\/revisions\/39747"}],"wp:authorship":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/33"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/133"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/132"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/130"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/users\/223"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/media\/15871"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/media?parent=4832"}],"wp:term":[{"taxonomy":"field-of-interest","embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/field-of-interest?post=4832"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/organisation?post=4832"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}