The System Security Group at Orange Innovation operates across multiple research sites, including three in France (Caen, Châtillon, and Cesson-Sévigné) and two in Europe (Poland and Romania). We work in an academic environment but we focus significant efforts on both the application and practicality of our work. Current research interests encompass embedded system security, container security, confidential computing, multi-tenancy privacy.
Liability and Trust Analysis Framework for Multi-Actor Dynamic Microservices (IEEE Transactions on Network and Service Management, 2024)
Challenges for Continuous, Provable Security Service Level Agreement Management in Computing Continuum (IEEE Access, 2024)
Latency-Sensitive Service Chaining with Isolation Constraints (MECC, 2024)
Code to Qed, the Project Manager's Guide to Proof Engineering (ACM TOSEM, 2024)
Keeping Verticals’ Sovereignty During Application Migration in Continuum (Journal of Network and Systems Management, 2024)
Position Paper: Strengthening Applets on Legacy SIM Cards with Singularization, a New Moving Target Defense Strategy (MSPN, 2023)
Demonstrating Liability and Trust Metrics for Multi-Actor, Dynamic Edge and Cloud Microservices (ACM MobiCom, 2023)
Towards a Privacy-Preserving Attestation for Virtualized Networks (ESORICS, 2023)
Pip-MPU: Formal verification of an MPU-based separation kernel for constrained devices (IJESA, 2023)
Trusted Execution Environments for Telecoms: Strengths, Weaknesses, Opportunities, and Threats (IEEE Security and Privacy, 2023)
An extended list of publications is here.