Sites Inria

There are 1 Results with the keyword : "Vale"

© INRIA Sophie Auvin - P comme Protocole

Research Teams Seminar

Prosecco Seminar


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.

Place : Wednesday, October 9th, 11am ✫ Room Jacques-Louis Lions 2

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


Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite