Securing Compilation Against Memory Probing. - Frédéric Besson; Alexandre Dang; Thomas P. Jensen (PLAS@CCS, 2018)

Information-Flow Preservation in Compiler Optimisations. - Frédéric Besson; Alexandre Dang; Thomas P. Jensen (CSF, 2019)

Compiling Sandboxes: Formally Verified Software Fault Isolation. - Frédéric Besson; Sandrine Blazy; Alexandre Dang; Thomas P. Jensen; Pierre Wilke (ESOP, 2019)

Secure Compilation for Memory Protection. (Compilation Sécurisée pour la Protection de la Mémoire). - Alexandre Dang (2019)