Vous êtes ici

SoSySec Seminar - Alix Trieu (University Rennes 1, IRISA, Celtique) - friday october 6, 10:30, room Turing/Petri

Verifying Constant-Time Implementations by Abstract InterpretationConstant-time programming is an established discipline to secure programs against timing attacks. Several real-world secure C libraries such as NaCl, mbedTLS, OpenSSL, follow this d...

vignette: