Publications at Orange Innovation

• Code to Qed, the Project Manager's Guide to Proof Engineering (ACM TOSEM, 2024)

• Liability and Trust Analysis Framework for Multi-Actor Dynamic Microservices (IEEE Transactions on Network and Service Management, 2024)

• Demonstrating Liability and Trust Metrics for Multi-Actor, Dynamic Edge and Cloud Microservices (ACM MobiCom, 2023)

• Pip-MPU: Formal verification of an MPU-based separation kernel for constrained devices (IJESA, 2023)

• Position Paper: Strengthening Applets on Legacy SIM Cards with Singularization, a New Moving Target Defense Strategy (MSPN, 2023)

• TRAILS: Extending TOSCA NFV profiles for liability management in the Cloud-to-IoT continuum (NetSoft, 2022)

• eSIM Adoption : Essential Challenges On Responsibilities Repartition (6GNet, 2022)

• The Owner, the Provider and the Subcontractors: How to Handle Accountability and Liability Management for 5G End to End Service. (ARES, 2022)

• Leveraging research and innovation in security standards; the example of INSPIRE-5GPLUS (ETSI, 2020)

• Liability-Aware Security Management for 5G (5GWF, 2020)

• Applied graph theory to security: A qualitative placement of security solutions within IoT networks (Journal of Information Security and Applications, 2020)

• Ensuring IoT Security with an Architecture Based on a Separation Kernel (FiCloud, 2018)