> Offres de formation > Offres de thèses

Contrats Intelligents Fiables : Langages et Méthodologies pour une Programmation de Confiance dans la Blockchain

Défi technologique : Cybersécurité : hardware et software (en savoir +)

Département : Département Ingénierie Logiciels et Systèmes (LIST)

Laboratoire : Lab.systèmes d'information de confiance, intelligents et auto-organisants

Date de début : 01-09-2022

Localisation : Saclay

Code CEA : SL-DRT-22-0675

Contact : alvaro.garciaperez@cea.fr

Les smart contracts sont devenus le nouveau paradigme pour le développement de services fiables et décentralisés, qui couvrent une multitude de domaines d'activité. La blockchain Ethereum est devenue la plateforme la plus répandue pour les smart contracts, malgré le fait qu'elle présente un certain nombre de vulnérabilités qui ont entraîné d'énormes pertes de valeur économique. La technologie des smart contracts a atteint une relative maturité. Il existe de nombreuses techniques pour tester les smart contracts l'Ethereum, et d'autres blockchains ont été introduites dont les langages de smart contracts se prêtent à la vérification formelle. Cependant, la recherche sur les smart contracts est encore jeune, et il manque un cadre largement applicable pour la vérification formelle des smart contracts. Cette thèse a deux objectifs : 1) repousser les limites des techniques de vérification formelle des smart contracts en explorant des langages et des modèles d'exécution avec des caractéristiques avancées, et 2) proposer une méthodologie pour la programmation de confiance dans la blockchain qui rend ces techniques de vérification largement applicables.

Voir toutes nos offres Télécharger l'offre (.zip)

Email Bookmark and Share