Inference of Robust Reachability Constraints
Sellami, Yanis, Girol, Guillaume, Recoules, Frédéric, Couroussé, Damien, Bardin, Sébastien
Published in Proceedings of ACM on programming languages (05.01.2024)
Published in Proceedings of ACM on programming languages (05.01.2024)
Get full text
Journal Article
Get Rid of Inline Assembly through Verification-Oriented Lifting
Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Mounier, Laurent, Potet, Marie-Laure
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Published in 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2019)
Get full text
Conference Proceeding
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Lemerre, Matthieu, Mounier, Laurent, Potet, Marie-Laure
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)
Get full text
Conference Proceeding
RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine"
Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Lemerre, Matthieu, Mounier, Laurent, Potet, Marie-Laure
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2021)
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2021)
Get full text
Conference Proceeding
A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries
Geimer, Antoine, Vergnolle, Mathéo, Recoules, Frédéric, Daniel, Lesly-Ann, Bardin, Sébastien, Maurice, Clémentine
Year of Publication 12.10.2023
Year of Publication 12.10.2023
Get full text
Journal Article
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
Recoules, Frédéric, Bardin, Sébastien, Bonichon, Richard, Lemerre, Matthieu, Mounier, Laurent, Potet, Marie-Laure
Year of Publication 15.02.2021
Year of Publication 15.02.2021
Get full text
Journal Article
Get rid of inline assembly through verification-oriented lifting
Recoules, Frédéric, Bardin, Sébastien, Bonichon, Richard, Mounier, Laurent, Potet, Marie-Laure
Year of Publication 15.03.2019
Year of Publication 15.03.2019
Get full text
Journal Article