{"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&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":"
\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 SnT4Dev<\/span>\n <\/a>\n<\/li>\n
  • \n \n \n \n <\/svg>\n Publications<\/span>\n <\/a>\n<\/li>\n
  • \n \n \n \n <\/svg>\n Partners<\/span>\n <\/a>\n<\/li>\n
  • \n \n \n \n <\/svg>\n People<\/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

    \nSecure and Reliable Solutions for Software Practitioners<\/h1>\n<\/div>\n<\/header>\n
    \n \n\"\"\n <\/figure>\n
    \n
    \n

    Software development is a complex engineering effort that requires novel techniques to ensure security, reliability, and quality.<\/p>\n\n\n

    • \n Research<\/a>\n<\/li>\n\n\n
    • \n Partners<\/a>\n<\/li>\n<\/ul>\n<\/div>\n<\/div>\n <\/div>\n<\/section><\/div>\n<\/div>\n\n
      \n \n
      \n

      \nOur Research<\/h2>\n\n\n\n
      \n
      \n
      \n
      \n \n\"\"\n <\/figure><\/section><\/div>\n\n\n\n
      \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

      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

      \n
      \n
      \n

      \nTruX in Numbers<\/h3>\n\n\n
        \n
      • \n \n
        \n
        25<\/div>\n\n\n
        Staff<\/div><\/div>\n<\/li><\/ul>\n\n<\/div>\n<\/div>\n<\/div>\n\n\n\n
        \n