MoVe
[Séminaire MoVe] Thaïs Milleret (MoVe, LIP6)
Tuesday, November 3, 2026Schedule : 14:30
Thaïs Milleret (MoVe, LIP6) : Amélioration des fonctionnalités d’un software model-checker
Les failles de sécurité dans les contrats intelligents (smart contracts) Ethereum sont une préoccupation majeure qui doit être résolue avant leur déploiement sur la blockchain. En raison des risques croissants associés aux vulnérabilités des smart contracts, l’objectif principal de ce stage est d’assurer leur sûreté et leur sécurité grâce à des techniques de vérification formelle avancées. Plus précisément, ce stage visait à améliorer un outil de vérification formelle existant : SmartPulseTool est un cadre de vérification automatisée innovant et open-source conçu pour analyser les propriétés de sécurité et de permanence des contrats intelligents Ethereum.
Salle 24-25/405, Campus Pierre et Marie Curie
Dylan.Marinho (at) nulllip6.fr