Contrats intelligents corrects-par-construction pour les architectures Web3 sécurisées // Correct-by-construction smart-contracts for secure Web3 architectures

Topic description

L’adoption des smarts contracts dans le cadre du Web3- nouvelle génération d’internet-exige d’autant plus un niveau de confiance et des garanties très élevés. Par conséquent et afin de garantir le bon fonctionnement et la sécurité des smart contracts, il s’impose d’exploiter des techniques sécuritaires fiables, reposant sur des fondements mathématiques solides. Cette thèse propose ainsi de répondre à ces problématiques à travers une démarche formelle assistée par des outils de raisonnement automatisés(,prouveurs, model-checkers, solveurs de contrainte). L’objectif est de neutraliser les risques d’erreur tout au long du processus de mise en œuvre des smart contracts.
————————————————————————————————————————————————————————
————————————————————————————————————————————————————————

The adoption of smart contracts in the context of Web3-the next generation of internet-requires a very high level of trust. Therefore, ensuring a proper and secure functioning of smart contracts implies the use of reliable security techniques based on solid mathematical foundations. This thesis proposes to tackle these by defining a formal approach supported by automatic reasoning tools(,provers, model-checkers, and constraint solvers). The goal is to neutralize all risks of error throughout the smart contracts implementation process.
————————————————————————————————————————————————————————
————————————————————————————————————————————————————————

Début de la thèse : 01/10/2023

Funding category

Cifre

Funding further details

Convention CIFRE*