Optimization of Security-Oriented State Machine Inference using Low-Level Instrumentation Techniques and Checkpointing

Most network stacks, e.g. TCP, TLS, or WPA, rely on an internal state machine, which can either be explicit (with the presence of state variables) or implicit…
Digital Trust

Generative AI-empowered digital twin for immersive training in cardiac surgery

Cardiovascular diseases remain the leading cause of mortality worldwide (WHO,2019). In particular, coronary artery disease often requires coronary artery bypass…
Data analytics & Artificial Intelligence
Engineering Health and Well-being

Models, performances and evolutions toward 6G enabled Time-Sensitive Networking for XR

This project addresses key barriers to the adoption of the metaverse and anticipates the evolution toward 6G networks[1][2]. The metaverse, powered - among…
Networks & IoT

A framework for low-resource bias detection and mitigation in Transformer-based AI models

Modern Large Language Models (LLMs) are increasingly deployed across education [11, 2], healthcare [12], recommender systems [5, 20], and other domains; often…
Data analytics & Artificial Intelligence