Forschungsprojekte

Durch EC - H2020 finanzierte Projekte

• ChronoPilot (ChronoPilot)

Durch EU - COST Action finanzierte Projekte

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

Durch FNR finanzierte Projekte

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

Durch FNR - AFR finanzierte Projekte

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

Durch FNR - AFR PhD finanzierte Projekte

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

Durch FNR - AFR PhD and ILNAS finanzierte Projekte

• Technical Standardisation for Trustworthy ICT, Aerospace and Construction

Durch FNR - CORE finanzierte Projekte

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

Durch FNR - Industrial Fellowships finanzierte Projekte

• Collaboration21 (C21)

Durch FNR - INTER finanzierte Projekte

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

Durch FNR - PRIDE finanzierte Projekte

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

Durch UL finanzierte Projekte

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

Durch EC - H2020 FET - ERA-NET Cofund finanzierte Projekte

• Brainsourcing for Affective Attention Estimation (BANANA)

Durch EC - EIC Pathfinder finanzierte Projekte

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

Durch EC - HEU finanzierte Projekte

• SLICES Preparatory Phase (SLICES-PP)

Durch UL - IAS-Audacity finanzierte Projekte

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

Durch Projekte ohne definierte Finanzierung finanzierte Projekte

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