Description
Date depot: 26 mars 2025
Titre: Formal Verification and Security of Smart Contracts in Decentralized Systems
Directeur de thèse:
Souheib BAARIR (LIP6)
Encadrant :
Claude DUTHEILLET (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Modèles de calcul, preuve, vérification
Resumé: Cette thèse porte sur la vérification formelle des contrats intelligents (smart contracts), en particulier dans le contexte de la finance décentralisée (DeFi). Bien que ces contrats soient au cœur des systèmes blockchain, ils restent sujets à des erreurs et vulnérabilités critiques.
L’objectif est de renforcer leur sécurité et leur fiabilité grâce à des techniques rigoureuses issues de la vérification formelle, telles que le (Bounded) Model checking et le Preuve de théorèmes (theorem proving).