Maison / Business / Le système 'Fiat Cryptography' du MIT automatise le processus de sécurisation de presque tout

Le système 'Fiat Cryptography' du MIT automatise le processus de sécurisation de presque tout

Suivre
( 0 Abonné(e)s )
X

Suivre

E-mail : *

Le laboratoire d'informatique et d'intelligence artificielle (CSAIL) du MIT conçu un système exécuter des algorithmes mathématiques complexes pour sécuriser la communication en ligne. «Fiat Cryptography», comme l’appelle le code, sécurise actuellement environ 90% des communications de Google Chrome.

Les chercheurs ont présenté leurs papier au Symposium EEE sur la sécurité et la confidentialité en mai, bien que la technologie ait été initialement théorisée et déployée dans les laboratoires du MIT en 2018.

Fiat Cryptography est conçu pour générer – et simultanément vérifier – des algorithmes cryptographiques optimisés pour toutes les plates-formes matérielles, un processus qui était effectué manuellement.

Vous avez bien compris: il ya tout juste un an, le cryptage des données sur Internet était assuré par un groupe de cryptographes capables d’écrire et de réécrire des algorithmes, en pesant manuellement diverses techniques mathématiques et architectures de puces afin d’optimiser leurs performances.

Mis à part le problème évident des bogues introduits par l'homme et des algorithmes non optimaux, les heures supplémentaires, l'architecture mathématique ou de la puce pour laquelle les algorithmes ont été écrits deviendraient obsolètes, ce qui signifie que le stylo devrait à nouveau gratter le papier.

Les chercheurs ont d'abord recherché une solution dans les langages d'assemblage et de programmation en C, puis ont transféré ces techniques dans leur bibliothèque de codes: une liste des algorithmes les plus performants pour chaque architecture.

En utilisant un compilateur pour convertir les langages de programmation en code, les algorithmes sont ensuite automatiquement vérifiés avec Coq, un prouveur de théorèmes mathématiques. Chaque itération est testée avant la sélection de la meilleure performance pour une architecture de puce particulière.

Au cours du processus, les chercheurs ont exploité le corps de code écrit humain existant et ont constaté que le processus automatisé de génération de clés et de certificats pour le cryptage des données correspond aux performances du meilleur code manuscrit, mais le complète beaucoup plus rapidement.

«En gros, c’est comme prendre un processus qui fonctionnait dans le cerveau humain et le comprendre suffisamment pour écrire un code qui imite ce processus», a déclaré Adam Chlipala, chercheur au CSAIL, dans une interview avec MIT News.

Depuis lors, Fiat Cryptography est déployé sur Google, BoringSSL, une bibliothèque de chiffrement open source utilisée par Google Chrome, les applications Android et d’autres programmes.

Andres Erbsen en tant qu'auteur principal, ainsi que Jade Philipoom et Jason Gross en tant que coauteurs, ainsi que Robert Sloan, étudiant en cycle supérieur en génie, se sont joints à Chlipala.

Les chercheurs travaillent actuellement sur des moyens de rendre leur compilateur encore plus rapide dans la recherche d'algorithmes optimisés.

Image via ShutterStock

Source

A propos newstrotteur-fr

Découvrez également

WATCH: Un avocat spécialisé dans les technologies finales brise la légalité de la Balance Screen Shot 2019 07 18 at 1

WATCH: Un avocat spécialisé dans les technologies finales brise la légalité de la Balance

Suivre ( 0 Abonné(e)s ) X Suivre E-mail : * Suivre Ne plus suivre Joel …

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *