There are 1 Results with the keyword : "Low*"
Research Teams 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)