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

Pour citer ou exporter
Grouper par: Rôle | Auteurs ou autrices | Date de publication | Sous-type de document | Aucun groupement
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: Thu Oct 22 11:25:25 2026 EDT.