{"id":7773,"date":"2026-05-05T16:13:38","date_gmt":"2026-05-05T14:13:38","guid":{"rendered":"https:\/\/www.esme.fr\/recherche\/?post_type=team&#038;p=7773"},"modified":"2026-08-25T14:58:50","modified_gmt":"2026-08-25T12:58:50","slug":"marwa-aloui","status":"publish","type":"team","link":"https:\/\/www.esme.fr\/recherche\/chercheur\/marwa-aloui\/","title":{"rendered":"Marwa Aloui"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><strong>Overview of research area<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">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.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Short biography<\/strong><\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Marwa Aloui holds a Master\u2019s 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.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">In parallel, she has teaching experience in programming (C, Java, Python), networking, and algorithms at ISIMM, demonstrating excellence in both education and research.<\/p>\n","protected":false},"featured_media":0,"template":"","team_cat":[],"class_list":["post-7773","team","type-team","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/team\/7773","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/team"}],"about":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/types\/team"}],"wp:attachment":[{"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/media?parent=7773"}],"wp:term":[{"taxonomy":"team_cat","embeddable":true,"href":"https:\/\/www.esme.fr\/recherche\/wp-json\/wp\/v2\/team_cat?post=7773"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}