Get Rid of Inline Assembly through Verification-Oriented Lifting. - Frédéric Recoules; Sébastien Bardin; Richard Bonichon; Laurent Mounier; Marie-Laure Potet (ASE, 2019)

Get rid of inline assembly through trustable verification-oriented lifting. - Frédéric Recoules; Sébastien Bardin; Richard Bonichon; Laurent Mounier; Marie-Laure Potet (CoRR, 2019)

Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. - Frédéric Recoules; Sébastien Bardin; Richard Bonichon; Matthieu Lemerre; Laurent Mounier; Marie-Laure Potet (ICSE, 2021)

RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". - Frédéric Recoules; Sébastien Bardin; Richard Bonichon; Matthieu Lemerre; Laurent Mounier; Marie-Laure Potet (ICSE (Companion Volume), 2021)

Vérification automatique de code bas-niveau: C, assembleur et binaire. (Automatic Verification of low-level code: C, assembly and binary). - Frédéric Recoules (2021)

A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries. - Antoine Geimer; Mathéo Vergnolle; Frédéric Recoules; Lesly-Ann Daniel; Sébastien Bardin; Clémentine Maurice (CCS, 2023)

Inference of Robust Reachability Constraints. - Yanis Sellami; Guillaume Girol; Frédéric Recoules; Damien Couroussé; Sébastien Bardin (Proc. ACM Program. Lang., 2024)