SecSwift, a Compiler-Based Framework for Software Countermeasures in Cybersecurity. - François de Ferrière; Yves Janin; Sirine Mechmech (CGO, 2026)