Dans le cadre de leur laboratoire commun FormalLab, Thales et le CEA viennent de présenter une solution inédite pour garantir la sécurité des codes cryptographiques. Véritable rupture technologique, l’innovation réside dans la vérification formelle de composants de librairies sécurisés pour le chiffrement des communications sensibles.
Aucun commentaire:
Enregistrer un commentaire