Documents publiés en "2024"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | 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: Tue Oct 20 06:32:09 2026 EDT.