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

Pour citer ou exporter
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: Thu Oct 22 11:25:25 2026 EDT.