Frédéric Recoules

According to our database, Frédéric Recoules authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Inference of Robust Reachability Constraints.

Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin

Proc. ACM Program. Lang., January, 2024

2023

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

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

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

PhD thesis, 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

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

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

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

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

Get Rid of Inline Assembly through Verification-Oriented Lifting.

Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019