Richard Bonichon

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