Titre de la thèse : Securing Ethereum’s Ecosystem: Formal Verification and Abstract interpretation of Halo2 Circuits and Innovative Access Control of Smart Contracts
Présenté par : Fatemeh Heidari Soureshjani
Programme : Génie informatique et génie logiciel
Département : Dép. de génie informatique et génie logiciel

Jury

Président : Frédéric Cuppens, Ph.D
Directrice de recherche : Hanifa Boucheneb, Ph. D
Membre : Nora Boulahia Cuppens, Ph. d
Membre externe : Hakima Ould Slimane, Ph. D
Représentante du directeur des études supérieures : Soumaya Yacout, Ph. D

Entrée libre
Bienvenue à tous!