Actualité du LIP6 - MoVe https://www.lip6.fr/actualite/information.php https://www.lip6.fr/images/logo/LIP6.pnghttps://www.lip6.fr/actualite/information.php6059 Les dernières nouvelles wadm@lip6.fr (Jean-Luc Mounier) wadm@lip6.fr (Aline Levaillant) Fri, 02 Oct 2026 00:00:00 GMT Mon, 28 Sep 2026 10:41:16 GMT 360 fr TextWrangler, TextMate, code maison PHP, MySQL Copyright 11/2004, 02/2006, 01/2008, 12/2024 LIP6 http://cyber.law.harvard.edu/rss/rss.html Organise-1255 [Séminaire MoVe] Thaïs Milleret (MoVe, LIP6), mardi 13 octobre à 14h30. https://www.lip6.fr/liens/organise-fiche.php?ident=O1255 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. Dylan.Marinho@lip6.fr (Dylan Marinho) Mon, 28 Sep 2026 10:41:16 GMT Organise-1256 [Séminaire MoVe] Pablo Hardouin (MoVe, LIP6), mardi 10 novembre à 14h30. https://www.lip6.fr/liens/organise-fiche.php?ident=O1256 Dylan.Marinho@lip6.fr (Dylan Marinho) Mon, 14 Sep 2026 11:27:31 GMT Organise-1257 [Séminaire MoVe] Adel Noureddine (MoVe, LIP6) : Projet Eco Design (Approches centrées sur l’humain pour la conception d’objets numériques plus soutenables), mardi 8 décembre à 14h30. https://www.lip6.fr/liens/organise-fiche.php?ident=O1257 Dylan.Marinho@lip6.fr (Dylan Marinho) Mon, 14 Sep 2026 11:27:43 GMT Organise-1260 [Séminaire MoVe] Dylan Marinho (MoVe, LIP6) : Projet BINTRACE (Traçabilité et Validation de Binaires), mardi 8 décembre à 15h00. https://www.lip6.fr/liens/organise-fiche.php?ident=O1260 Dylan.Marinho@lip6.fr (Dylan Marinho) Mon, 14 Sep 2026 11:29:04 GMT Organise-1258 [Séminaire MoVe] , mardi 12 janvier à 14h30. https://www.lip6.fr/liens/organise-fiche.php?ident=O1258 Dylan.Marinho@lip6.fr (Dylan Marinho) Tue, 01 Sep 2026 18:53:06 GMT