From Sets to Bits in Coq. - Arthur Blot; Pierre-Évariste Dagand; Julia Lawall (FLOPS, 2016)

Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers. - Arthur Blot; Jean-Michel Muller; Laurent Théry (NSV@CAV, 2017)

Jasmin: High-Assurance and High-Speed Cryptography. - José Bacelar Almeida; Manuel Barbosa; Gilles Barthe; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira 004; Hugo Pacheco 001; Benedikt Schmidt; Pierre-Yves Strub (CCS, 2017)

Compositional Synthesis of Leakage Resilient Programs. - Arthur Blot; Masaki Yamamoto 004; Tachio Terauchi (POST, 2017)