{"id":691,"date":"2023-06-26T16:23:00","date_gmt":"2023-06-26T14:23:00","guid":{"rendered":"https:\/\/website.prod.unilu.spikeseed.cloud\/snt-en\/?post_type=research-groups&#038;p=691"},"modified":"2026-02-03T08:57:59","modified_gmt":"2026-02-03T07:57:59","slug":"trux","status":"publish","type":"research-groups","link":"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/","title":{"rendered":"Trustworthy Software (TruX)"},"content":{"rendered":"<div class=\"section py-0 static\"><div class=\"section py-0 section wp-block-unilux-blocks-navigation-and-hero py-0\">\n    \n<div class=\"wp-block-unilux-blocks-wrapper container xl:max-w-screen-xl\"><div class=\"js-secondary-nav--sticky wp-block-unilux-blocks-secondary-navigation\" id=\"a1f5953e-51a8-4108-a844-ba767d6b267c\">\n    <nav\n        id=\"secondary-navigation\"\n        role=\"navigation\"\n        aria-label=\"Secondary menu\"\n        class=\"secondary-nav\"\n    >\n        <button\n            class=\"secondary-nav__button btn btn-solid--primary w-full\"\n            aria-expanded=\"false\"\n            aria-controls=\"secondary-navigation__list\"\n            title=\"The selected page is Overview\"\n            type=\"button\"\n        >\n            <span class=\"btn__name mr-auto\">Overview<\/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\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/\"\n        target=\"\"\n        rel=\"noreferrer noopener\"\n        class=\"secondary-nav__link isactived\"\n        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\">Overview<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/research\/\"\n        target=\"\"\n        rel=\"noreferrer noopener\"\n        class=\"secondary-nav__link \"\n            >\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\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/snt4dev\/\"\n        target=\"\"\n        rel=\"noreferrer noopener\"\n        class=\"secondary-nav__link \"\n            >\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\">SnT4Dev<\/span>\n    <\/a>\n<\/li>\n<li class=\"secondary-nav__item\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/publications\/\"\n        target=\"\"\n        rel=\"noreferrer noopener\"\n        class=\"secondary-nav__link \"\n            >\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\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/partners\/\"\n        target=\"\"\n        rel=\"noreferrer noopener\"\n        class=\"secondary-nav__link \"\n            >\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\n        href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/people\/\"\n        target=\"\"\n        rel=\"noreferrer noopener\"\n        class=\"secondary-nav__link \"\n            >\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<\/div>\n\n<div class=\"wp-block-unilux-blocks-wrapper max-w-screen-3xl mx-auto section py-0\">\n<section class=\"section no-padding-y wp-block-unilux-blocks-hero\">\n    <div class=\"hero hero--2 hero--overlay-top hero--overlay-bottom\">\n        \n<header class=\"wp-block-unilux-blocks-wrapper hero__header\">\n<div class=\"wp-block-unilux-blocks-wrapper hero__container\">\n<span class=\"hero__title__subject wp-block-unilux-blocks-plain-text\"><\/span>\n\n\n<h1 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"secure-and-reliable-solutions-for-software-practitioners\"\n    >\nSecure and Reliable Solutions for Software Practitioners<\/h1>\n<\/div>\n<\/header>\n<figure class=\"wp-block-dev4-reusable-blocks-image hero__visual 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\/80smaller_versionsnt-12-trux.png\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux-300x173.png 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux-768x443.png 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux.png 826w\"\n                style=\"object-position: 28.00% 62.00%; font-family: &quot;object-fit: cover; object-position: 28.00% 62.00%;&quot;; aspect-ratio: 16\/9; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n<div class=\"wp-block-unilux-blocks-wrapper hero__body\">\n<div class=\"wp-block-unilux-blocks-wrapper hero__container\">\n<p class=\"wp-block-unilux-blocks-plain-text\">Software development is a complex engineering effort that requires novel techniques to ensure security, reliability, and quality.<\/p>\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\/trux\/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\/trux\/partners\/\"\n                target=\"_self\"\n        class=\"btn btn--secondary\"\n            >Partners<\/a>\n<\/li>\n<\/ul>\n<\/div>\n<\/div>\n    <\/div>\n<\/section><\/div>\n<\/div>\n\n<section class=\"section section wp-block-unilux-blocks-content-free-media-and-statistics \">\n    \n<div class=\"wp-block-unilux-blocks-wrapper container xl:max-w-screen-xl\">\n<h2 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"our-research\"\n    >\nOur Research<\/h2>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-wrap lg:-mx-32\">\n<div class=\"wp-block-unilux-blocks-wrapper w-full lg:w-7\/12 lg:order-2 lg:px-32\">\n<section class=\"wp-block-unilux-blocks-image-video-wrapper\">\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\/5\/2023\/06\/TruX-Research-Group-SnT-Tegawende-Bissyande.png\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/TruX-Research-Group-SnT-Tegawende-Bissyande-300x225.png 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/TruX-Research-Group-SnT-Tegawende-Bissyande-768x576.png 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/TruX-Research-Group-SnT-Tegawende-Bissyande.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\/2; object-fit: cover; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure><\/section><\/div>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper w-full lg:w-5\/12 lg:order-1 lg:px-32 self-center\">\n<h3 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"dedicated-research-exploring-ways-to-protect-companies-and-public-entities-against-bugs-or-threats-such-as-malware-and-cyberattacks\"\n    >\nDedicated research exploring ways to protect companies and public entities against bugs or threats, such as malware and cyberattacks.<\/h3>\n\n\n\n<p>TruX conducts research in software security, software repair, and explainable software to create key practical solutions for developers, allowing them to achieve trustworthiness, efficiency, and transparency. Application areas include FinTech, embedded systems (e.g., mobile), business or entertainment systems, cybersecurity, and more.<\/p>\n<\/div>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper w-full lg:w-7\/12 lg:order-4 lg:px-32\">\n<div class=\"wp-block-unilux-blocks-wrapper flex flex-col mt-[1.5rem]\">\n<div class=\"wp-block-unilux-blocks-wrapper lg:ml-auto\">\n<h3 class=\"has-text-align-left wp-block-unilux-blocks-heading\"        id=\"trux-in-numbers\"\n    >\nTruX in Numbers<\/h3>\n\n\n<ul class=\"flex flex-wrap mb-24 -mx-32 wp-block-unilux-blocks-facts-figures-horizontal\">\n    <li class=\"wp-block-unilux-blocks-facts-figures-item\">\n    \n<div class=\"wp-block-unilux-blocks-wrapper figure-stats\">\n<div class=\"figure-stats__value text-theme wp-block-unilux-blocks-plain-text\">25<\/div>\n\n\n<div class=\"figure-stats__description wp-block-unilux-blocks-plain-text\">Staff<\/div><\/div>\n<\/li><\/ul>\n\n<\/div>\n<\/div>\n<\/div>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper w-full lg:w-5\/12 lg:order-3 lg:px-32\">\n<ul class=\"wp-block-unilux-blocks-quick-link-underline\">\n    \n<li class=\"wp-block-unilux-blocks-quick-link-underline-item\">\n    <a\n            href=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/research\/\"\n            class=\"wp-block-unilux-blocks-anchor\"        target=\"\"\n>\n    \n<span class=\"hero__title__subject wp-block-unilux-blocks-plain-text\">Research<\/span><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><\/a>\n<\/li>\n<\/ul><\/div>\n\n\n\n<div class=\"wp-block-unilux-blocks-wrapper w-full lg:w-5\/12 lg:order-5 lg:px-32\">\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\/trux\/publications\/\"\n                target=\"_self\"\n        class=\"btn btn--primary\"\n            >Publications<\/a>\n<\/li>\n<\/ul>\n<\/div>\n<\/div>\n<\/div>\n<\/section>\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-research-group\"\n    >\nHead of Research Group<\/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=\"\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/11184035\/Tegawende_Bissyande_TRUX.png\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/11184035\/Tegawende_Bissyande_TRUX-300x225.png 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/11184035\/Tegawende_Bissyande_TRUX-768x576.png 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/11184035\/Tegawende_Bissyande_TRUX.png 1024w\"\n                style=\"object-position: 51.00% 13.00%; font-family: &quot;object-fit: cover; object-position: 51.00% 13.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-tegawende-bissyande\"\n    >\nProf. Tegawend\u00e9 Bissyand\u00e9<\/h5>\n\n\n\n<p class=\"list-people__description wp-block-unilux-blocks-plain-text\">Full Professor in Artificial Intelligence for Secure Software Engineering<\/p>\n\n<div class=\"wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/people\/tegawende-bissyande\/\"\n        title=\"Learn More\"\n        class=\"link-text link-text--icon \"\n        target=\"\"\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--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>    <\/a>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div><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=\"co-head-of-research-group\"\n    >\nCo-Head of Research Group<\/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=\"\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/13152722\/other-Jacques-Klein.png\"\n                srcset=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/13152722\/other-Jacques-Klein-300x225.png 300w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/13152722\/other-Jacques-Klein-768x576.png 768w, https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/13152722\/other-Jacques-Klein.png 1024w\"\n                style=\"object-position: 48.00% 64.00%; font-family: &quot;object-fit: cover; object-position: 48.00% 64.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-jacques-klein\"\n    >\nProf. Jacques Klein<\/h5>\n\n\n\n<p class=\"list-people__description wp-block-unilux-blocks-plain-text\">Full Professor of Computer Science<\/p>\n\n<div class=\"wp-block-unilux-blocks-simple-cta\">\n    <a\n        href=\"https:\/\/www.uni.lu\/snt-en\/people\/jacques-klein\/\"\n        title=\"Learn More\"\n        class=\"link-text link-text--icon link-absolute\"\n        target=\"\"\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--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>    <\/a>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div><\/div><\/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\"        id=\"this-research-group-is-part-of\"\n    >\nThis Research Group is Part Of<\/h2>\n\n\n<ul class=\"wp-block-unilux-blocks-button-list\">\n    <li class=\"wp-block-unilux-blocks-button-list-item\">\n    <a\n            href=\"https:\/\/www.uni.lu\/snt-en\/\"\n            class=\"quick-link wp-block-unilux-blocks-anchor\"        target=\"\"\n>\n    \n<span class=\"wp-block-unilux-blocks-wrapper quick-link__container\"><figure class=\"wp-block-dev4-reusable-blocks-image quick-link__img object-fit--scale-down\">\n    \n<img decoding=\"async\" class=\"wp-block-image unilux-custom-image-block\"\n                alt=\"SnT Logo without baseline\"\n            src=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/uni-centre-snt-no-baseline.svg\"\n                    style=\"object-position: 50.00% 50.00%; font-family: &quot;object-fit: scale-down; object-position: 50.00% 50.00%;&quot;; aspect-ratio: 1\/1; object-fit: scale-down; width: 100%;\"\n        loading=\"lazy\"\n\/>    <\/figure>\n\n\n<span class=\"quick-link__name wp-block-unilux-blocks-plain-text\">Interdisciplinary Centre for Security, Reliability and Trust (SnT)<\/span>\n\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><\/ul>\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-trux\"\n    >\nDiscover More About TruX<\/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\/trux\/research\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Research                <\/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\/trux\/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\/trux\/people\/\"\n                    class=\"quick-link\"\n            target=\"\"\n    >\n            <span class=\"quick-link__container\">\n                <span class=\"quick-link__text\">\n                    Members                <\/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>Software development is a complex engineering effort that requires novel techniques to ensure security, reliability, and quality.<\/p>\n","protected":false},"author":39,"featured_media":2148,"parent":0,"menu_order":0,"template":"","meta":{"featured_image_focal_point":[],"show_featured_caption":false,"ulux_newsletter_groups":"","uluxPostTitle":"Trustworthy Software Engineering (TruX)","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":[281],"organisation":[184,201],"authorship":[39,167,152,398],"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>Trustworthy Software (TruX) - SnT research group I University of Luxembourg<\/title>\n<meta name=\"description\" content=\"TruX conducts research in software security, software repair, and explainable software to create key practical solutions for developers.\" \/>\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\/trux\/\" \/>\n<meta property=\"og:locale\" content=\"en_GB\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Trustworthy Software (TruX)\" \/>\n<meta property=\"og:description\" content=\"TruX conducts research in software security, software repair, and explainable software to create key practical solutions for developers.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/\" \/>\n<meta property=\"og:site_name\" content=\"SnT EN\" \/>\n<meta property=\"article:modified_time\" content=\"2026-02-03T07:57:59+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux.png\" \/>\n\t<meta property=\"og:image:width\" content=\"826\" \/>\n\t<meta property=\"og:image:height\" content=\"476\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\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\/trux\/\",\"url\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/\",\"name\":\"Trustworthy Software (TruX) - SnT research group I University of Luxembourg\",\"isPartOf\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux.png\",\"datePublished\":\"2023-06-26T14:23:00+00:00\",\"dateModified\":\"2026-02-03T07:57:59+00:00\",\"description\":\"TruX conducts research in software security, software repair, and explainable software to create key practical solutions for developers.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#breadcrumb\"},\"inLanguage\":\"en-GB\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-GB\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#primaryimage\",\"url\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux.png\",\"contentUrl\":\"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux.png\",\"width\":826,\"height\":476},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#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\":\"Trustworthy Software (TruX)\"}]},{\"@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":"Trustworthy Software (TruX) - SnT research group I University of Luxembourg","description":"TruX conducts research in software security, software repair, and explainable software to create key practical solutions for developers.","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\/trux\/","og_locale":"en_GB","og_type":"article","og_title":"Trustworthy Software (TruX)","og_description":"TruX conducts research in software security, software repair, and explainable software to create key practical solutions for developers.","og_url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/","og_site_name":"SnT EN","article_modified_time":"2026-02-03T07:57:59+00:00","og_image":[{"width":826,"height":476,"url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux.png","type":"image\/png"}],"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\/trux\/","url":"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/","name":"Trustworthy Software (TruX) - SnT research group I University of Luxembourg","isPartOf":{"@id":"https:\/\/www.uni.lu\/snt-en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#primaryimage"},"image":{"@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#primaryimage"},"thumbnailUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux.png","datePublished":"2023-06-26T14:23:00+00:00","dateModified":"2026-02-03T07:57:59+00:00","description":"TruX conducts research in software security, software repair, and explainable software to create key practical solutions for developers.","breadcrumb":{"@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#breadcrumb"},"inLanguage":"en-GB","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/"]}]},{"@type":"ImageObject","inLanguage":"en-GB","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#primaryimage","url":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux.png","contentUrl":"https:\/\/www.uni.lu\/wp-content\/uploads\/sites\/5\/2023\/06\/80smaller_versionsnt-12-trux.png","width":826,"height":476},{"@type":"BreadcrumbList","@id":"https:\/\/www.uni.lu\/snt-en\/research-groups\/trux\/#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":"Trustworthy Software (TruX)"}]},{"@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\/691"}],"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\/39"}],"version-history":[{"count":4,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/691\/revisions"}],"predecessor-version":[{"id":20357,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/research-groups\/691\/revisions\/20357"}],"wp:authorship":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/39"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/167"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/152"},{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/users\/398"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/media\/2148"}],"wp:attachment":[{"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/media?parent=691"}],"wp:term":[{"taxonomy":"field-of-interest","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/field-of-interest?post=691"},{"taxonomy":"organisation","embeddable":true,"href":"https:\/\/www.uni.lu\/snt-en\/wp-json\/wp\/v2\/organisation?post=691"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}