Richard Bonichon

According to our database, Richard Bonichon authored at least 23 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Generic Deskolemization Strategy.

Johann Rosain, Richard Bonichon, Julie Cailler, Olivier Hermant

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2021

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

Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima

CoRR, 2021

Program Protection through Software-based Hardware Abstraction.

Jeffrey Todd McDonald, Ramya Manikyam, Sébastien Bardin, Richard Bonichon, Todd R. Andel

Proceedings of the 18th International Conference on Security and Cryptography, 2021

RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine".

Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

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

Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Evaluating Defensive Countermeasures for Software-Based Hardware Abstraction.

Jeffrey Todd McDonald, Ramya K. Manikyam, Sébastien Bardin, Richard Bonichon, Todd R. Andel, James Carambat

Proceedings of the E-Business and Telecommunications - 18th International Conference, 2021

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate.

Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate (Poster).

Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de Souza Lima

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities.

Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

2019

Get rid of inline assembly through trustable verification-oriented lifting.

Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet

CoRR, 2019

Get Rid of Inline Assembly through Verification-Oriented Lifting.

Frédéric Recoules, Sébastien Bardin, Richard Bonichon, Laurent Mounier, Marie-Laure Potet

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections).

Mathilde Ollivier, Sébastien Bardin, Richard Bonichon, Jean-Yves Marion

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Model Generation for Quantified Formulas: A Taint-Based Approach.

Benjamin Farinier, Sébastien Bardin, Richard Bonichon, Marie-Laure Potet

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2015

A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization.

Richard Bonichon, Olivier Hermant

CoRR, 2015

2014

Extending SMT-LIB v2 with λ-Terms and Polymorphism.

Richard Bonichon, David Déharbe, Cláudia Tavares

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

LLVM-Based Code Generation for B.

Richard Bonichon, David Déharbe, Thierry Lecomte, Valério Medeiros Jr.

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2011

A Mergeable Interval Map.

Richard Bonichon, Pascal Cuoq

Stud. Inform. Univ., 2011

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.

Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram

Proceedings of the Computer Safety, Reliability, and Security, 2011

2009

Experience report: OCaml for an industrial-strength static analysis framework.

Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2007

Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.

Richard Bonichon, David Delahaye, Damien Doligez

Proceedings of the Logic for Programming, 2007

2006

On Constructive Cut Admissibility in Deduction Modulo.

Richard Bonichon, Olivier Hermant

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

A Semantic Completeness Proof for TaMeD.

Richard Bonichon, Olivier Hermant

Proceedings of the Logic for Programming, 2006

2004

TaMeD: A Tableau Method for Deduction Modulo.

Richard Bonichon

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004