Projets financés par European Commission

• Advanced Tools to assEss and mitigate the criticality of ICT compoNents and their dependencies over Critical InfrAstructures (ATENA)
• Building an IoT OPen innovation Ecosystem for connected smart objects (bIoTope)
• EU-China study on IoT and 5G (EXCITING)
• Enabling Crowd-sourcing based privacy protection for smartphone applications, websites and internet of Things deployments (Privacy Flag)
• FIRE+ online interoperability and performance test tools to support emerging technologies from (F-INTEROP)
• FLY faster through an innovative and robust risk-based SECurity tunnel (Flysec)
• Future Proofing the Connected World: A Quantum-Resistant Trusted Platform Module (FutureTPM)
• Mining and Reasoning with Legal Texts (MIREL)
• SYSTEMIC ANALYZER IN NETWORK THREATS (SAINT)
• Training Augmented Reality Generalized Environment Toolkit (TARGET)

Projets financés par European Space Agency

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

Projets financés par External Organisation Funding

• Networked SCADA Security

Projets financés par External Organisation Funding and University of Luxembourg

• A Semantic Search Engine for the Retrieve of Similar Patterns in Luxembourgish Texts (STRIPS)

Projets financés par Fonds National de la Recherche

• A Theory of Matching Sessions (AtoMS)
• CONtext and conTent Aware CommunicaTions for QoS support in VANETs (CONTACT)
• Coevolutionary HybRid Bi-level Optimization (CARBON)
• Evaluation of Authenticated Ciphers (EAC)
• Formal Models for Uncertain Argumentation from Text (FUnArT)
• INTER/CNRS/14/10367986 Algorithmic Decision Theory (Algodec 2)
• Privacy Enhancing Techniques for Future Internet (PETIT)
• Secure Voting Technologies (SeVoTe)
• Security Properties, Process Equivalences, and Automated Verification (SEQUOIA)
• Security and Privacy for System Protection (PRIDE: SPsquared)
• Symbolic verification of distance-bounding and multiparty authentication protocols (DBMP)
• Timing-aware Model-Based Design with application to automotive embedded systems (EARLY)

Projets financés par Fonds National de la Recherche and Institut luxembourgeois de la normalisation, de l'accréditation, de la sécurité et qualité des produits et services

• ILNAS - UL/SnT Research Programme on Digital Trust in SmartICT (Smart ICT)

Projets financés par Fonds National de la Recherche and Narodowe Centrum Badań i Rozwoju

• Verification of Voter-Verifiable Voting Protocols (VoteVerif)

Projets financés par Unfunded

• Doctoral Thesis: Adaptive Literacy-Aware Integration of Learning Material (working title)
• Doctoral Thesis: Towards an Integration of Collaborative and Crowd Computing (working title)
• Tool for Specification, Management and Assessment of Teaching Programs (TESMA)

Projets financés par University of Luxembourg

• A Personalization Framework for Sentiment Categorization with Recurrent Neural Network (PERSEUS)
• Artificial Chatbots and Companions (ACC)
• Cognitive Aspects of Formal Argumentation Theory (CAFAT)
• Foundations of Argumentation (FA)
• High Performance Computing @ UL (UL HPC)
• Homomorphic Encryption and Multilinear Maps for Cloud Computing (HEMAC)
• Reconciling the Uneasy Relationship between the Economics of Personal Data and Privacy (REQUISITE)
• Scalable External Control of Probabilistic Boolean Networks (SEC-PBN)
• Time Predictable Embedded Systems (TIME)