activity
20162022
most citedCDCL-inspired Word-level Learning for Bit-vector Constraint Solving

5 citations · 13 across the 9 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

cs.PL2021

Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine

Frédéric Recoules, Sébastien Bardin, Richard Bonichon +3

Inline assembly is still a common practice in low-level C programming, typically for efficiency reasons or for accessing specific hardware resources. Such embedded assembly codes i…

cs.CR2021★ 3 cited

AI-based Blackbox Code Deobfuscation: Understand, Improve and Mitigate

Grégoire Menguy, Sébastien Bardin, Richard Bonichon +1

Code obfuscation aims at protecting Intellectual Property and other secrets embedded into software from being retrieved. Recent works leverage advances in artificial intelligence w…