Le workshop CheckMATE sur la rétro-ingénierie, co-localisé avec la conférence CCS 2025 (ACM Conference on Computer and Communications Security), co-organisé par Sébastien Bardin (CEA-List), a eu lieu le 17 octobre 2025 à Taipei, Taïwan.
Au programme figuraient huit présentations techniques ainsi qu’un keynote; Du côté du CEA-List, et en lien avec DefMal, Nicolas Bellec a présenté ses travaux intitulés « Improving Code Understanding by Mixing Backward Bounded Symbolic Execution with Lattice-based Property », et Grégoire Menguy a présenté « Xyntia: Toward Bridging the Gap Between Black-box Deobfuscation and Program Synthesis ».