Projects funded by EC - H2020

• ChronoPilot (ChronoPilot)

Projects funded by EU - COST Action

• Distributed Knowledge Graphs (DKG)
• European Research Network on Formal Proofs (EuroProofNet)

Projects funded by ESA

• Autonomous trustworthy monitoring and diagnosis of CubeSat health (ATMonSAT)
• Autonomous trustworthy monitoring and diagnosis of CubeSat health (ESA Open Discovery Ideas)

Projects funded by FNR

• Securing Time Critical Traffic in (next gen) Automotive Networks (SETICA)

Projects funded by FNR - AFR

• Remote memory attestation and erasure through formal verification (ATTEST)

Projects funded by FNR - AFR PhD

• Privacy Attacks and Protection in Machine Learning as a Service (PriML)

Projects funded by FNR - CORE

• Automating the Design of Autonomous Robot Swarms (ADARS)
• EnCaViBS (EnCaViBS)
• Give control back to users: personalised privacy-preserving data aggregation from heterogeneous social graphs (HETERS)
• Secure, Quantum-Safe, Practical Voting Technologies (EquiVox)
• Secure, Quantum-Safe, Practical Voting Technologies (EquiVox)
• teSTing sELf-LeARning systems (STELLAR)

Projects funded by FNR - CORE - Core Junior

• Automated Reasoning with Legal Entities (AuReLeE) (AuReLeE)

Projects funded by FNR - Industrial Fellowships

• Application of Near Field Technology in Commercial Vehicle Tire Monitoring System (NFT)
• Collaboration21 (C21)

Projects funded by FNR - INTER

• An integrated approach to study the delegation of decision-making to autonomous agents in socio-technicalsystems (DELICIOS)
• Analysis and Protection of Lightweight Cryptographic Algorithms (APLICA)
• Intelligent orchestrated security and privacy-aware slicing for 5G and beyond vehicular networks (5G-INSIGHT)
• Secure, Usable and Robust Cryptographic Voting Systems (SURCVS)
• Spin and bias in Language Analyzed in News and Text (SLANT)

Projects funded by FNR - JUMP

• A Secure Medication Dispenser (REMEDIS) (Remedis)

Projects funded by FNR (Luxembourg)/NCBiR (Poland)

• Socio-Technical Verification of Information Security and Trust in Voting Systems (STV)

Projects funded by FNR - PRIDE

• Security and Privacy for System Protection (PRIDE: SPsquared)

Projects funded by UL

• Decentralized global decision-making over dynamic networks of proactive engines (Proactive PhD 4)
• Proactive computing paradigm applied to the programming of robotic systems (Proactive PhD 3)

Projects funded by UL and Esch2022

• AI & Art Pavilion

Projects funded by EC - H2020 FET - ERA-NET Cofund

• Brainsourcing for Affective Attention Estimation (BANANA)