Thesis title: Securing Ethereum’s Ecosystem: Formal Verification and Abstract interpretation of Halo2 Circuits and Innovative Access Control of Smart Contracts
Presented by: Fatemeh Heidari Soureshjani
Program: Computer Engineering and Software Engineering
Department: Dép. de génie informatique et génie logiciel

Jury

President: Frédéric Cuppens, Ph.D
Research Director: Hanifa Boucheneb, Ph. D
Member: Nora Boulahia Cuppens, Ph. d
External member: Hakima Ould Slimane, Ph. D
Representative of the Director of Graduate Studies: Soumaya Yacout, Ph. D

Free entry
Welcome to all!