Faculty of Science, Technology and Medicine
Faculty of Law, Economics and Finance
Faculty of Humanities, Education and Social Sciences
Interdisciplinary Centre for Security, Reliability and Trust
Luxembourg Centre for Systems Biomedicine
Luxembourg Centre for Contemporary and Digital History
Luxembourg Centre for European Law
Luxembourg Centre for Socio-Environmental SystemsArchives: Research Groups
-
Research Groups
Partners
Learn moreUsing automation and machine learning, TruX conducts dedicated research in real-world scenarios, exploring ways to help public entities and companies protect themselves from bugs or threats such as malware and cyberattacks. Partners find in the group an open and supportive team of scientists with experience in collaborating with industrial R&D departments on topics such as…
-
Research Groups
Publications
Learn moreDedicated research exploring ways to protect companies and public entities against bugs or threats, such as malware and cyberattacks 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…
-
Research Groups
Research
Learn moreSecure and reliable solutions for software practitioners Software development is a complex engineering effort that requires novel techniques to ensure security, reliability, and quality. 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…
-
Research Groups
Trustworthy Software (TruX)
Learn moreSoftware development is a complex engineering effort that requires novel techniques to ensure security, reliability, and quality.
-
Research Groups
Partners
Learn morePublic sector and industrial partners with scientific research challenges in information assurance, including cryptographic primitives and protocols, quantum-resilient and agile cryptography, the digital society and e-democracy, and secure transactions will find in APSIA a group with world-class expertise in classical and quantum cryptography employing cutting-edge, interdisciplinary techniques to create practical, real-world solutions.
-
-
Research Groups
Quantum Lab
Learn moreThe Quantum Lab is a subgroup of APSIA specialising in quantum information assurance and post-quantum cryptography, focusing on the design and analysis of secure quantum systems, as well as classical quantum-resistant protocols.
-
Research Groups
Strategy Lab
Learn moreThe 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…
-
Research Groups
Applied Security and Information Assurance (APSIA)
Learn moreAPSIA’s mission is to develop and evaluate techniques to mitigate the multitude of cyber threats, and make the digital world more secure and trustworthy for its citizens.
-
Research Groups
Research
Learn moreInnovating at the system level to enable novel space services Services and infrastructures in space are vital for our society, and rely on increasingly sophisticated systems. The Space Systems Engineering (SpaSys) group conducts research and development on novel space services based on space systems that are miniaturised and distributed, including ChipSats and CubeSats, and operated…