Type-directed Program Transformation for Constant-Time Enforcement. - Gautier Raimondi; Frédéric Besson; Thomas P. Jensen (PPDP, 2023)

Secure compilation against side channel attacks. (Compilation sécurisée contre les attaques par canaux auxiliaires). - Gautier Raimondi (2023)