<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Heidari Soureshjani, Fatemeh"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Nombre de documents: 1

Heidari Soureshjani, F. (2024). Securing Ethereum's Ecosystem: Formal Verification and Abstract Interpretation of Halo2 Circuits and Innovative Access Control of Smart Contracts [Thèse de doctorat, Polytechnique Montréal]. Disponible

Liste produite: Sat Dec 6 04:42:14 2025 EST.