Richard Bonichon

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 17

Top Topics

Candidate Solutions

Mathematical Formulas

Countermeasures

Top Venues

ICSE (Companion Volume)

Publications

Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant
A Generic Deskolemization Strategy. LPAR (2024)
Jeffrey Todd McDonald, Ramya K. Manikyam, Sébastien Bardin, Richard Bonichon, Todd R. Andel, James Carambat
Evaluating Defensive Countermeasures for Software-Based Hardware Abstraction. ICETE (Selected Papers) (2021)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. ICSE (2021)
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate (Poster). CCS (2021)
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
AI-based Blackbox Code Deobfuscation: Understand, Improve and Mitigate. CoRR (2021)
Jeffrey Todd McDonald, Ramya Manikyam, Sébastien Bardin, Richard Bonichon, Todd R. Andel
Program Protection through Software-based Hardware Abstraction. SECRYPT (2021)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". ICSE (Companion Volume) (2021)
Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima
Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate. CCS (2021)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. CoRR (2021)
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. RAID (2020)
Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. CoRR (2020)
Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
How to Kill Symbolic Deobfuscation for Free; or Unleashing the Potential of Path-Oriented Protections. CoRR (2019)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
Get rid of inline assembly through trustable verification-oriented lifting. CoRR (2019)
Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet
Get Rid of Inline Assembly through Verification-Oriented Lifting. ASE (2019)
Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion
How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections). ACSAC (2019)
Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
Model Generation for Quantified Formulas: A Taint-Based Approach. CoRR (2018)
Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet
Model Generation for Quantified Formulas: A Taint-Based Approach. CAV (2) (2018)
Richard Bonichon, Olivier Hermant
A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization. CoRR (2015)
Richard Bonichon, David Déharbe, Cláudia Tavares
Extending SMT-LIB v2 with λ-Terms and Polymorphism. SMT (2014)
Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.
LLVM-Based Code Generation for B. SBMF (2014)
Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP (2011)
Richard Bonichon, Pascal Cuoq
A Mergeable Interval Map. Stud. Inform. Univ. 9 (1) (2011)
Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
Experience report: OCaml for an industrial-strength static analysis framework. ICFP (2009)
Richard Bonichon, David Delahaye, Damien Doligez
Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs. LPAR (2007)
Richard Bonichon, Olivier Hermant
On Constructive Cut Admissibility in Deduction Modulo. TYPES (2006)
Richard Bonichon, Olivier Hermant
A Semantic Completeness Proof for TaMeD. LPAR (2006)
Richard Bonichon
TaMeD: A Tableau Method for Deduction Modulo. IJCAR (2004)