<  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
Grouper par: Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
Aller à : H
Nombre de documents: 1

H

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: Fri Dec 5 04:40:04 2025 EST.