Actualités

Publié le 21 avril 2021 Mis à jour le 21 avril 2021

Prouver que c'est vrai : en voici la preuve formelle

Par la la cryptographie et l’informatique distribuée

Cryptographie

La reproductibilité des résultats est notion cruciale dans la construction de la connaissance scientifique. Pour pouvoir l'assurer, un des éléments de base est l'assurance que les données initiales sont bien celles de l'expérience originale.

Or, autant de le monde de l'informatique que dans celui de la science ou du journalisme, les données sont numériques; elles peuvent être copiées et altérées de multiples façons, du simple bogue à l'introduction volontaire de fausses données et de biais. Dans ce contexte, comment être sur que nous avons bien affaire à des données authentiques ?

C'est ce que Dale Miller, directeur de recherche chez Inria, entreprend d'explorer dans le monde de la preuve formelle.

«Démontrer la validité d’un programme ou d’un système électronique fait appel à la logique mathématique, et plus particulièrement à des techniques de raisonnement nommées « méthodes formelles ».

Issues de la recherche fondamentale en informatique, elles se sont avérées un outil particulièrement adapté à la vérification de programmes. Elles permettent de produire des « preuves formelles », c’est-à-dire une très forte assurance de l'absence de bug dans les logiciels analysés.»

Loin d’être limitée au domaine de la vérification de programmes, la nouvelle infrastructure de partage de données certifiées que cette action exploratoire espère préfigurer pourrait bénéficier à d’autres secteurs. 

C’est notamment le cas de ceux du journalisme, de la lutte contre les fausses nouvelles et de la production scientifique, pour laquelle la reproductibilité des résultats est un enjeu majeur.

Pour l'article complet : Vers l’émergence d’un Internet de la preuve ?

En savoir plus sur cette actualité

Visiter inria.fr


Mots-clés: cryptographie

Voir plus de nouvelles de cette institution
INRIA - Institut national de recherche en informatique et en automatique

Domaine de Voluceau
Rocquencourt - B.P. 105
78153 Le Chesnay
France

Tél.: 33 (0)1 39 63 55 11

Contacter

Voir le profil

Pour vous abonner au fil RSS de Thot Cursus, indiquez votre courriel ci-dessous :

Service par FeedBurner


            

Accédez à des services exclusifs gratuitement

Inscrivez-vous et recevez des infolettres sur :

  • Les cours
  • Les ressources d’apprentissage
  • Le dossier de la semaine
  • Les événements
  • Les technologies

De plus, indexez vos ressources préférées dans vos propres dossiers et retrouvez votre historique de consultation.

M’abonner à l'infolettre

Superprof : la plateforme pour trouver les meilleurs professeurs particuliers en France (mais aussi en Belgique et en Suisse)


Effectuez une demande d'extrait d'acte de naissance en ligne !


Ajouter à mes listes de lecture


Créer une liste de lecture

Recevez nos nouvelles par courriel

Chaque jour, restez informé sur l’apprentissage numérique sous toutes ses formes. Des idées et des ressources intéressantes. Profitez-en, c’est gratuit !