Projets financés par EC (COST)

• SSC-RN: European Secure Smart Cities Research Network

Projets financés par ESA

• M2MSAT: Demonstrator of light-weight application and transport protocols for future M2M applications

Projets financés par External organisation funding

• CREOS: CREOS

Projets financés par FNR - AFR PhD

• Stream Mining for Predictive Authentication Under Adversarial Influence
• CARBON: Coevolutionary HybRid Bi-level Optimization
• DBMP: Symbolic verification of distance-bounding and multiparty authentication protocols

Projets financés par FNR - AFR PostDoc

• SOUL: Subjective and Objective Uncertainty in Description Logics

Projets financés par FNR - CORE

• ADT2P: Attack-Defence Trees: Theory Meets Practice
• AtoMS: A Theory of Matching Sessions
• FIXPATTERN: Automated Program Repair using Fix patterns Learned from Human-written Patches
• INDOORS: Indoor Navigation with Ambient Radio Signals
• MaDSAV: MAintaining Driving Skills in Semi-Autonomous Vehicles
• PETIT: Privacy Enhancing Techniques for Future Internet
• RECOMMEND: Automatic Bug Fix Recommendation: improving Software Repair and Reducing Time-to-Fix Delays in Software Development Projects

Projets financés par FNR - INTER

• Algodec 2: INTER/CNRS/14/10367986 Algorithmic Decision Theory
• CONTACT: CONtext and conTent Aware CommunicaTions for QoS support in VANETs
• FMUAT: Formal Models for Uncertain Argumentation from Text
• FUnArT: Formal Models for Uncertain Argumentation from Text
• SEQUOIA: Security Properties, Process Equivalences, and Automated Verification

Projets financés par FNR - Luxembourg (AFR - PHD)

• EARLY: Timing-aware Model-Based Design with application to automotive embedded systems
• IB-RTE-CS: Interpretation-based runtime environment for critical embedded systems

Projets financés par FNR - Luxembourg (AFR)

• ACVCD-NET: Automatic Coordinated Voltage Control for Distribution Network with High Level of Inverter Based DG Penetration

Projets financés par FNR - Luxembourg (CORE - Core International )

• DeNetSteg: Detection of network steganography methods by data-mining and evolutionary-classifier-based approaches

Projets financés par FNR - Luxembourg (INTER - PICS)

• PrefEx: Preferences Explained

Projets financés par FNR - Luxembourg (INTER)

• AlgoDec 2: Algorithmic Decision Theory 2

Projets financés par FNR - Other

• COMMA: Combatting Context-Sensitive Mobile Malware
• DIST: Distance Bounding: a graph theoretical and formal approach
• HotspotID: HotspotID-crowdsourced WiFi security
• PRIDE: SPsquared: Security and Privacy for System Protection

Projets financés par Horizon 2020 (EU)

• ATENA: Advanced Tools to assEss and mitigate the criticality of ICT compoNents and their dependencies over Critical InfrAstructures
• bIoTope: Building an IoT OPen innovation Ecosystem for connected smart objects
• EXCITING: EU-China study on IoT and 5G
• F-INTEROP: FIRE+ online interoperability and performance test tools to support emerging technologies from
• MIREL: Mining and Reasoning with Legal Texts
• Privacy Flag: Enabling Crowd-sourcing based privacy protection for smartphone applications, websites and internet of Things deployments
• SAINT: SYSTEMIC ANALYZER IN NETWORK THREATS
• TARGET: Training Augmented Reality Generalized Environment Toolkit

Projets financés par International call ANR - FNR Luxembourg ()

• Amber: Amber: Towards Fog Environments and Opportunistic Management of converged IoT and Cloud computing

Projets financés par UL (PUL)

• CAFAT: Cognitive Aspects of Formal Argumentation Theory
• FINDS: Building a Financial Data Warehouse based on financial news and stock prices to foster information search
• TIME: Time Predictable Embedded Systems

Projets financés par UL Funding

• REQUISITE: Reconciling the Uneasy Relationship between the Economics of Personal Data and Privacy
• UL HPC: High Performance Computing @ UL

Projets financés par Unfunded

• Doctoral Thesis: Integrating Compositional and Annotative Approaches for Feature Implementation (working title)
• Doctoral Thesis: Adaptive Literacy-Aware Integration of Learning Material (working title)
• Doctoral Thesis: Towards an Integration of Collaborative and Crowd Computing (working title)
• Anomaly Detection and Machine Learning with Big Data Systems
• Self-learning predictive algorithms: from design to scalable implementation
• Active Learning on Streaming Time Series for Cyber-Physical Security Appliances
• Software Defined Network Service Chaining through Network Analytics
• CollaTrEx: Collaborative Context-Aware Mobile Training and Exploration
• TESMA: Tool for Specification, Management and Assessment of Teaching Programs

Projets sans financement défini

• BriGFIM: Bridging the Gap between Formal and Informal Mathematical Reasoning