{"id":4833,"date":"2023-09-10T01:37:25","date_gmt":"2023-09-09T23:37:25","guid":{"rendered":"https:\/\/www.uni.lu\/fstm-en\/?post_type=research-groups&#038;p=4833"},"modified":"2025-06-18T09:36:01","modified_gmt":"2025-06-18T07:36:01","slug":"research","status":"publish","type":"research-groups","link":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/","title":{"rendered":"Research"},"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=\"d1644e24-5379-42d3-a0b1-224dfff9493a\">\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 Research\" type=\"button\">\n            <span class=\"btn__name mr-auto\">Research<\/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\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/\" 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\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/\" 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\">Research<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/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<li class=\"secondary-nav__item\">\n    <a href=\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/join-us\/\" 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\">Join us<\/span>\n    <\/a>\n<\/li>\n        <\/ul>\n    <\/nav>\n<\/div>\n<!-- end SecondaryNavigationMirror --><\/div><\/section>\n\n\n\n<section class=\"wp-block-unilux-blocks-free-section section\"><div class=\"container xl:max-w-screen-xl\">\n<h1 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"satoss-research\"\n    >\nSaToSS research<\/h1>\n\n\n\n<p>The group carries out research on a variety of topics such as:<\/p>\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>Security Protocols<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Security-Protocols.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Security-Protocols-300x300.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Security-Protocols-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Security-Protocols-768x767.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Security-Protocols.jpg 906w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>This area focuses on the development and analysis of protocols that ensure the security of digital communications and transactions, including specialized areas like e-voting, distance-bounding protocols, and blockchain technologies.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><strong>Attack Trees and Security Analysis<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Attack-Trees.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Attack-Trees-300x298.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Attack-Trees-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Attack-Trees-768x763.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Attack-Trees.jpg 909w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>This research involves creating graphical models (attack trees) that depict potential security breaches and analysing these models to understand and mitigate security threats.<\/p>\n<\/div>\n<\/div>\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>Privacy<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Privacy.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Privacy-300x300.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Privacy-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Privacy-768x765.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Privacy.jpg 909w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>This topic addresses the protection of personal information in digital environments, with a particular focus on enhancing privacy in social networks and machine learning applications.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><strong>Modelling and Analysis of Biological Systems<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Modeling.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Modeling-300x300.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Modeling-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Modeling-768x765.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Modeling.jpg 909w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>Research here applies principles of security and formal analysis to biological systems, aiming to understand complex biological processes through computational models.<\/p>\n<\/div>\n<\/div>\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>Process Algebra and Model Checking<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra-300x300.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra-768x765.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra.jpg 905w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>This field uses algebraic methods and model checking techniques to design and verify the correctness and efficacy of computational processes and protocols.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><strong>Big Data Analysis<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra-300x300.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra-768x765.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Process-Algebra.jpg 905w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>This topic explores methods for handling and analysing large data sets to derive meaningful insights, with implications for security and privacy.<\/p>\n<\/div>\n<\/div>\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>Malware Detection and Mobile Systems Security<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Malware.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Malware-300x300.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Malware-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Malware-768x766.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Malware.jpg 905w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>Research in this area focuses on identifying and mitigating malicious software threats, particularly in mobile environments.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><strong>Security of Cyber-Physical Socio-Technical Systems<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Cyber.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Cyber-300x300.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Cyber-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Cyber-768x767.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Cyber.jpg 904w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>This involves securing systems that integrate physical processes with computational elements and human interactions, such as smart grid and transportation systems.<\/p>\n<\/div>\n<\/div>\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>Trust Management<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Trust.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Trust-300x297.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Trust-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Trust-768x761.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Trust.jpg 905w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>This research seeks to build and manage trust in various digital and networked systems through policies, protocols, and management strategies.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\">\n<p><strong>Software Security<\/strong><\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Software-Security.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Software-Security-300x297.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Software-Security-150x150.jpg 150w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Software-Security-768x761.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Software-Security.jpg 907w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>Focused on identifying and fixing security vulnerabilities in software, including tools and methods for automated vulnerability detection.<\/p>\n<\/div>\n<\/div>\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>Security in Space<\/p>\n\n\n<figure class=\"wp-block-dev4-reusable-blocks-image  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\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Space.jpg\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Space-300x296.jpg 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Space-768x758.jpg 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2023\/09\/DCS-Research-Group-SaToSS-topic-Space.jpg 910w\"\n                style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: cover; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<p>This niche area studies the unique security challenges associated with space technology and missions, from satellite communications to interplanetary systems.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\"><\/div>\n<\/div>\n<\/div><\/section>\n\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\"    >\n<\/h2>\n\n\n<ul class=\"flex flex-wrap mt-24 -mx-16  wp-block-unilux-blocks-free-content-card\">\n    <li class=\"w-full sm:w-1\/2 lg:w-1\/3 px-16  wp-block-unilux-blocks-free-content-card-item\">\n    <div class=\"ulux-card card-project-related bg-theme\">\n        <div class=\"ulux-card__container card__container\">\n                        <div class=\"ulux-card__body wp-block-unilux-blocks-free-content-card-item-body\">\n    \n<span class=\"ulux-card__related wp-block-unilux-blocks-plain-text\"><\/span>\n<h3 class=\"ulux-card__title has-text-align-left wp-block-unilux-blocks-heading\"    >\n<\/h3>\n<\/div>        <\/div>\n    <\/div>\n<\/li><\/ul>\n\n\n<ul class=\"wp-block-unilux-blocks-custom-buttons btn-list justify-center\"><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\/research-en\/research-projects-overview\/?fq_research-projects-taxonomies-organisation%5B%5D=security-and-trust-of-software-systems-satoss%7CSecurity+and+Trust+of+Software+Systems+%28SaToSS%29%7COrganisation\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >All projects<\/a>\n<\/li>\n<\/ul>\n<\/div><\/section>\n<\/div>","protected":false},"excerpt":{"rendered":"","protected":false},"author":33,"featured_media":0,"parent":4832,"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":[],"organisation":[],"authorship":[33,133,132,130,223],"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>Research - Security and Trust of Software Systems SaToSS - FSTM research group I 8xav福利导航 of Luxembourg<\/title>\n<meta name=\"description\" content=\"The group carries out research on a variety of topics such as: Security Protocols This area focuses on the development and analysis of protocols that\" \/>\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\/research\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Research\" \/>\n<meta property=\"og:description\" content=\"The group carries out research on a variety of topics such as: Security Protocols This area focuses on the development and analysis of protocols that\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/\" \/>\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:01+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_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=\"2 minutes\" \/>\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\/research\/\",\"url\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/\",\"name\":\"Research - Security and Trust of Software Systems SaToSS - FSTM research group I 8xav福利导航 of Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/#website\"},\"datePublished\":\"2023-09-09T23:37:25+00:00\",\"dateModified\":\"2025-06-18T07:36:01+00:00\",\"description\":\"The group carries out research on a variety of topics such as: Security Protocols This area focuses on the development and analysis of protocols that\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/#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)\",\"item\":\"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/\"},{\"@type\":\"ListItem\",\"position\":5,\"name\":\"Research\"}]},{\"@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 8xav福利导航 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 - 8xav福利导航 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 - 8xav福利导航 of Luxembourg I Uni.lu\"},\"image\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/04\/24144328\/20200609-Belval-Campus_Henri-Goergen-23.jpg\",\"sameAs\":[\"https:\/\/www.facebook.com\/fstm.uni.lu\/\",\"https:\/\/www.linkedin.com\/showcase\/fstm-uni-lu\"],\"email\":\"communication@uni.lu\",\"telephone\":\"+3524666441\",\"address\":{\"@type\":\"PostalAddress\",\"streetAddress\":\"2, place de l\u2019Universit\u00e9\",\"addressLocality\":\"Esch-sur-Alzette\",\"postalCode\":\"4365\",\"addressCountry\":\"LU\"},\"description\":\"Faculty of Science, Technology and Medicine I Uni.lu\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Research - Security and Trust of Software Systems SaToSS - FSTM research group I 8xav福利导航 of Luxembourg","description":"The group carries out research on a variety of topics such as: Security Protocols This area focuses on the development and analysis of protocols that","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\/research\/","og_locale":"en_GB","og_type":"article","og_title":"Research","og_description":"The group carries out research on a variety of topics such as: Security Protocols This area focuses on the development and analysis of protocols that","og_url":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/","og_site_name":"FSTM EN","article_publisher":"https:\/\/www.facebook.com\/fstm.uni.lu\/","article_modified_time":"2025-06-18T07:36:01+00:00","og_image":[{"width":2560,"height":2560,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/03\/03111650\/FSTM_SM-Profile_1600x1600px-scaled.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Estimated reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/","url":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/","name":"Research - Security and Trust of Software Systems SaToSS - FSTM research group I 8xav福利导航 of Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/fstm-en\/#website"},"datePublished":"2023-09-09T23:37:25+00:00","dateModified":"2025-06-18T07:36:01+00:00","description":"The group carries out research on a variety of topics such as: Security Protocols This area focuses on the development and analysis of protocols that","breadcrumb":{"@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/research\/#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)","item":"https:\/\/www.uni.lu\/fstm-en\/research-groups\/security-and-trust-of-software-systems\/"},{"@type":"ListItem","position":5,"name":"Research"}]},{"@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 8xav福利导航 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 - 8xav福利导航 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 - 8xav福利导航 of Luxembourg I Uni.lu"},"image":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/4\/2026\/04\/24144328\/20200609-Belval-Campus_Henri-Goergen-23.jpg","sameAs":["https:\/\/www.facebook.com\/fstm.uni.lu\/","https:\/\/www.linkedin.com\/showcase\/fstm-uni-lu"],"email":"communication@uni.lu","telephone":"+3524666441","address":{"@type":"PostalAddress","streetAddress":"2, place de l\u2019Universit\u00e9","addressLocality":"Esch-sur-Alzette","postalCode":"4365","addressCountry":"LU"},"description":"Faculty of Science, Technology and Medicine I Uni.lu"}]}},"_links":{"self":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups\/4833"}],"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\/4833\/revisions"}],"predecessor-version":[{"id":39746,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups\/4833\/revisions\/39746"}],"up":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/research-groups\/4832"}],"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:attachment":[{"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/media?parent=4833"}],"wp:term":[{"taxonomy":"field-of-interest","embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/field-of-interest?post=4833"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/fstm-en\/wp-json\/wp\/v2\/organisation?post=4833"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}