10 mai 2022 | Logiciels quantiques : une implémentation de l’algorithme de Shor vérifiée pour la première fois

​L’algorithme de Shor est à l’origine de l’engouement de la communauté scientifique pour le quantique dans les années 1995. Mais aucune implémentation du célèbre algorithme n’avait jusqu’à présent pu être vérifiée, faute d’outils adaptés. C’est désormais chose faite, grâce aux travaux du CEA-List.

30 octobre 2020 | Protéger les codes cryptographiques contre les nouvelles cyber attaques