Analyse statique de smart-contracts Michelson par Interprétation Abstraite

Michelson smart-contracts static analysis by abstract interpretation

• Auteur / Autrice : Guillaume Bau
• Direction : Antoine Miné
• Type : Projet de thèse
• Discipline(s) : Sciences et technologies de l'information et de la communication
• Date : Inscription en doctorat le 01/12/2020
• Etablissement(s) : Sorbonne université
• Ecole(s) doctorale(s) : École doctorale Informatique, télécommunications et électronique de Paris (1992-...)
• Partenaire(s) de recherche : Laboratoire : LIP6

Mots clés

Mots clés libres

Interprétation abstraite

Analyse statique

Smart-contract

Tezos

Michelson

Abstract interpretation

Static analysis

Smart-contract

Tezos

Michelson

Résumé

Le projet de thèse s'intéresse à l'analyse statique de smart-contracts en Michelson, le langage de smart-contracts de la blockchain Tezos. Ce langage est très différent de la plupart des langages de programmation, ce qui implique de nouveaux challenges pour développer des analyses statiques. De plus, le domaine des blockchains

Ce thesis project aims to develop static analysis for Michelson, the language of smart-contracts of the Tezos blockchain. This langage is very different from most programming langages, and this implies new challenges to develop static analysis. Smart-contract analysis if an active research domain, because it requires some specific guarantees. This thesis will be accompanied with a static analyser implementation