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 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)
• Privacy Attacks and Protection in Machine Learning as a Service (PriML)

Projects funded by FNR - AFR PhD and ILNAS

• Technical Standardisation for Trustworthy ICT, Aerospace and Construction

Projects funded by FNR - CORE

• Automated Verification Of Privacy In Electronic Voting For Strong Adversaries (AVVA)
• Automating the Design of Autonomous Robot Swarms (ADARS)
• Automating the Design of Autonomous Robot Swarms (ADARS)
• Give control back to users: personalised privacy-preserving data aggregation from heterogeneous social graphs - resubmission (HETERS)

Projects funded by FNR - Industrial Fellowships

• 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)

Projects funded by FNR - PRIDE

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

Projects funded by UL

• Reconstructing gene regulatory networks with neural relational inference (GENERIC)

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

• Brainsourcing for Affective Attention Estimation (BANANA)

Projects funded by EC - EIC Pathfinder

• Context-aware adaptive visualizations for critical decision making (SYMBIOTIK)

Projects funded by EC - HEU

• SLICES Preparatory Phase (SLICES-PP)

Projects funded by UL - IAS-Audacity

• SEEDS: Scientization Events and Expansion across Disciplines in Society (SEEDS)

Projects funded by Undefined Funding Source

• CLOUDMAP (CLOUDMAP)
• Security as a Box (SecuBox)