Marwa Aloui

PhD Student – Lecturer and Researcher in Computer Science
ESME

Overview of research area

Her research focuses on the formal verification of security requirements for Fog and IoT services using the Event-B method and formal proof tools such as Rodin and ProB. Marwa develops rigorous models to ensure confidentiality, integrity, and privacy in distributed systems, adopting a correct-by-construction approach for secure IoT communication architectures.

Short biography

Marwa Aloui holds a Master’s degree in Computer Science, specializing in Software Engineering and Formal Modeling. Her research explores secure Fog-based architectures using the formal Event-B method, progressively refining models to address secure communication, session management, encryption, and privacy constraints.

In parallel, she has teaching experience in programming (C, Java, Python), networking, and algorithms at ISIMM, demonstrating excellence in both education and research.

Publications

• Marwa Aloui, Imed Abbassi, Samia Ben Ismail, Zied Jaoua, Mohamed Graiet and Walid Gaaloul, Verifying Security Requirements of Fog Services Communication with Event-B, WISE 2025, volume 15, p. 2025

PhD in Computer Science

• 2025–Present

  PhD in Computer Science

  ESME / UVSQ
• 2021 – 2023

  Master’s in Software Engineering (Formal Verification with Event-B / Fog Computing Security

  Higher Institute of Computer Science and Mathematics of Monastir, Tunisia (ISIMM)
• 2018 – 2021

  Bachelor’s Degree in Computer Science

  ISIMM
• 2017-2018

  High School Diploma – Experimental Sciences

  Hassan Hosni Abed Wahab High School

PhD Student – Lecturer and Researcher in Computer Science

• 2023-2025

  Practical Instructor (Formal Methods, Python, Databases, and Advanced Java)

  ISIMM
• 2025

  Full Stack Developer (Practical Projects)

  Crococoder
• 2021

  Web Development Intern

  Attijari Bank
• 2020

  Java Development Intern

  SNCFT