
WaveVerif : vérification des flux de travail robotiques par canal auxiliaire acoustique
Des chercheurs ont présenté WaveVerif, un système de vérification de robots industriels fondé sur l'analyse acoustique par canal auxiliaire (acoustic side-channel analysis), détaillé dans un article déposé sur arXiv (version 2, octobre 2025). Le principe: capter les émissions sonores générées par les mouvements d'un bras robotique et les comparer, via apprentissage automatique, aux commandes réellement envoyées, afin de détecter tout écart entre l'action attendue et l'action exécutée. Quatre classifieurs ont été testés et comparés: une machine à vecteurs de support (SVM), un réseau de neurones profond (DNN), un réseau récurrent (RNN) et un réseau convolutif (CNN). Les résultats montrent une précision supérieure à 80% pour valider des mouvements individuels dans des conditions de référence, en tenant compte de la vitesse de déplacement, de la direction et de la distance du microphone. Le système parvient aussi à vérifier des séquences complètes de type pick-and-place et packing avec un niveau de confiance comparable, sans nécessiter la moindre modification matérielle du robot.
L'intérêt pratique tient à la nature passive et peu coûteuse de la méthode: un simple microphone suffit à surveiller en temps réel qu'un robot fait bien ce qu'on lui demande, sans dépendre des données de télémétrie renvoyées par son propre contrôleur, potentiellement falsifiables en cas de compromission logicielle. Pour les environnements sensibles, lignes de production critiques, sites industriels ou installations où la confidentialité empêche l'usage de caméras, cette approche offre une couche de vérification indépendante, complémentaire aux capteurs de position ou aux systèmes de vision. Elle s'inscrit dans une problématique plus large de sécurité et d'intégrité des workflows robotiques automatisés, où la confiance dans l'exécution effective des commandes devient un enjeu à mesure que les usines déploient des flottes de robots interconnectés.
L'analyse acoustique par canal auxiliaire est une technique historiquement utilisée en cybersécurité offensive, notamment pour intercepter des frappes clavier ou des clés cryptographiques à partir de sons parasites. WaveVerif la retourne à des fins défensives, comme outil d'audit et de détection de sabotage ou de dysfonctionnement. L'article, classé en soumission croisée sur arXiv, ne mentionne pas de déploiement industriel ni de partenaire commercial: il s'agit à ce stade d'une preuve de concept académique, dont la robustesse en environnement bruyant réel et sur des robots de formes variées reste à démontrer au-delà des conditions de laboratoire décrites.
Dans nos dossiers




