Sites Inria

Il y a 1 Résultats avec le mot clé : "Vale"

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

9/10/2019

For performance and security reasons, it is sometimes necessary to program at the lowest levels of abstraction, using a mixture of C and assembly. In this talk, we present techniques that allow verifying such code for correctness and side-channel resistance.

Lieu : Mercredi 9 octobre, 11h00 ✫ Salle Jacques-Louis Lions 2

Intervenant(s) : Nik Swamy (MSR) and Aymeric Fromherz (CMU)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Haut de page

Suivez Inria