Qu’est-ce qu’un virus ? Comment se fait une attaque virale ? En quoi consiste la recherche en virologie informatique ? Jean-Yves Marion nous apporte des éléments de réponse dans cet épisode du podcast audio.
Des dizaines de milliers de programmes malicieux sont disséminés sur le Web. Ils exploitent les erreurs commises par les utilisateurs ou les failles des logiciels.
Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
Réaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais doit-on aveuglément faire confiance aux résultats obtenus par nos machines ? Sylvie Boldo nous apporte quelques éléments de réponse.
Les systèmes de tatouage de son sont aujourd'hui essentiels pour lutter contre les problèmes de piratage des contenus numériques.
