Sites Inria

Il y a 2 Résultats avec le mot clé : "haute performance"

Calcul flottant haute performance pour le traitement du signal : matériel et logiciel (vidéo)

Équipe de recherche ARIC (Inria Grenoble - Rhône-Alpes) / Société Kalray -

Cette démonstration comparera deux versions d'une application de traitement de signal : l'une utilisant des opérateurs classiques, l'autre utilisant les opérateurs et fonctions développés dans le cadre de cette collaboration. Dans les deux cas, la plateforme permettra de visualiser en temps réel la performance et l'efficacité énergétique.

Mots-clés :

Accueil > Centre > Saclay > Innovation > RII Modélisation, simulation & calcul intensif > Démos > Calcul flottant haute performance pour le traitement du signal : matériel et logiciel

Lire la suite

© INRIA Sophie Auvin - P comme Protocole

Rencontres Inria Industrie

HACL* : Librairie Cryptographique pour Applications à haut niveau d'assurance

Équipe-projet Prosecco (Inria Paris) -

HACL* est une librairie cryptographique formellement verifiée et performante ayant un haut niveau d'assurance. Elle implémente la plupart des primitives cryptographiques modernes utilisées dans l'industrie ainsi que les APIs de NaCl/TweetNaCl et d'une partie de Libsodium. HACL* peut donc s'y substituer. Le code C est généré depuis F*, permettant donc l'intégration de la librairie au sein d'applications plus vastes et des preuves de sécurité de celles-ci.

Mots-clés :

Accueil > Centre > Paris > Innovation > RII "Les données" 17-18 octobre 2017 > Démos > HACL* : Librairie Cryptographique pour Applications à haut niveau d'assurance

Lire la suite

Haut de page

Suivez Inria