Dans l'architecture invisible d'Internet, un vaste système de verrous et de clés numériques protège tout, des comptes bancaires aux messages privés. Pendant des décennies, ces verrous reposaient sur des problèmes mathématiques faciles à créer mais presque impossibles à résoudre, même pour les ordinateurs les plus puissants. Cependant, les scientifiques prédisent depuis longtemps qu'un nouveau type d'ordinateur, fonctionnant selon les règles étranges de la physique quantique, finira par arriver. Lorsqu'il arrivera, il sera capable de briser ces anciens verrous en quelques secondes. Pour préparer cet avenir, les chercheurs déploient actuellement une nouvelle génération de verrous numériques basés sur des structures mathématiques différentes que les ordinateurs quantiques ne peuvent pas facilement casser. Ces nouveaux systèmes sont adoptés par les gouvernements et les grandes entreprises technologiques pour sécuriser Internet pour les décennies à venir.

Le moment le plus critique de ce nouveau système de sécurité se produit la toute première fois qu'un ordinateur reçoit un message. Avant de pouvoir vérifier si un message est authentique ou de déverrouiller un secret, il doit d'abord traduire un flux de données brutes en une clé ou une signature utilisable. Cette étape de traduction est la porte d'entrée du système. Si la porte est mal construite, un attaquant n'a pas besoin de briser le verrou ; il lui suffit de pousser un objet de la mauvaise forme contre la poignée. Si la porte accepte un objet malformé, l'ensemble du système peut planter, se figer ou, pire encore, être trompé en acceptant une fausse clé. S'assurer que ces portes d'entrée rejettent chaque mauvaise forme est tout aussi important que de rendre les verrous eux-mêmes incassables.

Une étude récente menée par le chercheur indépendant Arpan Sharma s'est concentrée précisément sur cette porte d'entrée des nouveaux systèmes résistants au quantique, spécifiquement au sein du langage de programmation Java, qui fait fonctionner une immense partie des logiciels mondiaux. Le cherchenaire a testé deux implémentations majeures de ces nouvelles normes : l'une fournie par une bibliothèque de sécurité largement utilisée appelée Bouncy Castle, et une autre intégrée directement dans la plateforme Java elle-même. L'objectif n'était pas de voir si les mathématiques fonctionnaient correctement sur des données parfaites, mais de voir ce qui se passait lorsque le logiciel était alimenté par des millions d'entrées aléatoires, brisées et hostiles. Le chercheur voulait savoir si le logiciel gérerait ces mauvaises entrées avec élégance en les rejetant, ou s'il trébucherait, planterait ou accepterait silencieusement une erreur dangereuse.

Pour ce faire, le chercheur a construit une machine de test agissant comme un attaquant automatisé et implacable. Elle a généré 900 000 variations différentes de données, allant de versions légèrement altérées de clés valides à des flux d'octets complètement absurdes, et les a injectées dans le logiciel. La machine surveillait de près pour voir comment le logiciel réagissait. Elle cherchait tout signe de plantage, tout message d'erreur inattendu que le logiciel n'était pas censé afficher, ou tout cas où le logiciel acceptait une mauvaise clé comme si elle était bonne. Les résultats pour la version actuelle de la bibliothèque Bouncy Castle étaient remarquablement propres. Sur les 900 000 tentatives, le logiciel a rejeté chaque entrée malformée exactement comme il le devait, ne produisant aucune erreur inattendue et n'acceptant aucune mauvaise clé.

Cependant, dans les tests scientifiques, un résultat qui affirme que « rien ne s'est mal passé » est souvent difficile à croire. Il est possible que la machine de test elle-même ait été trop maladroite pour trouver un problème, ou que le logiciel ait simplement eu de la chance. Pour prouver que le test était réellement capable de trouver une faille, le chercheur a utilisé une astuce ingénieuse appelée contrôle positif. Il a exécuté la même machine de test contre une version plus ancienne du logiciel Bouncy Castle, connue pour présenter une faille réelle et spécifique. En quelques secondes, la machine a trouvé le défaut. Elle a découvert que l'ancien logiciel accepterait une clé publique de la mauvaise taille, une erreur qui pourrait mener à un plantage plus tard dans le processus. Parce que la machine a réussi à trouver un problème connu dans l'ancienne version, le fait qu'elle n'ait rien trouvé dans la nouvelle version est devenu une confirmation fiable que le nouveau logiciel est effectivement robuste.

Lorsque le chercheur a appliqué ce même test rigoureux au nouveau code résistant au quantique intégré directement dans la plateforme Java, les résultats ont révélé un type de problème différent. Le logiciel Java n'a pas planté et n'a pas accepté de signature de complaisance, ce qui est le résultat le plus dangereux. Au lieu de cela, il a montré une différence subtile dans sa gestion des mauvaises données. Le système Java acceptait une clé publique de n'importe quelle longueur, même une clé vide ou beaucoup trop courte, sans lever d'alerte au moment de l'entrée. Il ne vérifiait la taille de la clé que plus tard, lorsqu'elle était réellement utilisée pour effectuer une tâche. Si la clé était trop petite, le système s'arrêtait alors et signalait une erreur. Bien que cela ait finalement empêché un désastre, cela signifiait que le logiciel avait brièvement conservé une clé défectueuse, la traitant comme valide pendant un court instant.

Ce comportement était constant à travers trois versions différentes de la plateforme Java. Le logiciel prenait la même décision finale que la bibliothèque Bouncy Castle : il rejetait la mauvaise clé. La différence résidait purement dans le timing. La bibliothèque Bouncy Castle vérifiait la taille immédiatement dès la réception de la clé et la rejetait aussitôt. La plateforme Java acceptait la clé d'abord, la stockait, puis la rejetait lorsqu'elle tentait de l'utiliser. Cette distinction est importante car elle montre que, bien que les deux systèmes soient protégés contre les plantages immédiats, ils gèrent les règles d'entrée différemment. L'étude a également souligné une leçon plus large pour quiconque teste ce type de logiciel complexe : parfois, une faille n'apparaît que lorsque deux parties différentes d'un système interagissent, comme une signature valide associée à une mauvaise clé. Tester les parties de manière isolée permet souvent de manquer ces dangers cachés.

La recherche a également mis au jour un obstacle caché dans le processus de test lui-même. Le système informatique exécutant les tests possède une fonctionnalité intégrée conçue pour accélérer les opérations en simplifiant les messages d'erreur lorsque la même erreur se produit de manière répétée. Dans un test massif impliquant des centaines de milliers d'entrées, cette fonctionnalité supprimerait silencieusement les détails des erreurs, rendant impossible pour la machine de test de distinguer si un plantage était une défaillance réelle et inattendue ou un problème connu. Le chercheur a dû désactiver manuellement cette fonctionnalité pour garantir l'exactitude des résultats du test. Cette découverte suggère que pour les tests de sécurité à grande échelle des logiciels modernes, les paramètres standards peuvent parfois masquer les problèmes mêmes que les chercheurs tentent de trouver.

En fin de compte, cette étude fournit une image claire et vérifiée de la manière dont les nouveaux verrous résistants au quantique se comportent dans le monde réel. La version actuelle de la bibliothèque Bouncy Castle semble être hautement résiliente, rejetant les mauvaises entrées immédiatement et de manière cohérente. La plateforme Java est également sûre, bien qu'elle suive un chemin légèrement différent, conservant les mauvaises clés un court instant avant de les rejeter. En utilisant un contrôle positif pour valider la méthode de test, le chercheur a permis de s'assurer que le résultat « rien trouvé » pour le nouveau logiciel était un véritable signe de force, et non un échec du test. Alors qu'Internet se prépare à passer à ces nouvelles normes de sécurité, ce genre d'assurance détaillée et testée sous pression est essentiel pour garantir que les nouvelles portes soient construites pour résister à la poussée d'un monde hostile.