Publications at Orange Innovation

• Safety and Cybersecurity Under Emerging EU Legislation for Industry: A Use-Case Driven Perspective (ARES, 2025)

• A Continuous Certification Readiness Framework for Cloudification of IT/OT Platforms (Vision Paper) (IEEE IC2E, 2025)

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

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