Fr\'ed\'eric Recoules

Identifiers

• name variant Fr\'ed\'eric Recoules 0.60 · backfill

Papers (3)

1. A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries cs.CR · 2023 · author #3
2. Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine cs.PL · 2021 · author #1
3. Get rid of inline assembly through verification-oriented lifting cs.PL · 2019 · author #1

Mentions

• 2310.08153 #3 · arxiv_oai · confidence 0.70 Fr\'ed\'eric Recoules
• 2102.07485 #1 · arxiv_oai · confidence 0.70 Fr\'ed\'eric Recoules
• 1903.06407 #1 · arxiv_oai · confidence 0.70 Fr\'ed\'eric Recoules

Frequent Coauthors

• S\'ebastien Bardin 3 shared papers
• Laurent Mounier 2 shared papers
• Marie-Laure Potet 2 shared papers
• Richard Bonichon 2 shared papers
• Antoine Geimer 1 shared papers
• Cl\'ementine Maurice 1 shared papers
• Lesly-Ann Daniel 1 shared papers
• Math\'eo Vergnolle 1 shared papers
• Matthieu Lemerre 1 shared papers