Richard Bonichon

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Generic Deskolemization Strategy.
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

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

Program Protection through Software-based Hardware Abstraction.
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".
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Evaluating Defensive Countermeasures for Software-Based Hardware Abstraction.
Proceedings of the E-Business and Telecommunications - 18th International Conference, 2021

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate.
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).
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.
Proceedings of the 23rd International Symposium on Research in Attacks, 2020

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

Get Rid of Inline Assembly through Verification-Oriented Lifting.
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).
Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018
Model Generation for Quantified Formulas: A Taint-Based Approach.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

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

2014
Extending SMT-LIB v2 with λ-Terms and Polymorphism.
Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

LLVM-Based Code Generation for B.
Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2011
A Mergeable Interval Map.
Stud. Inform. Univ., 2011

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.
Proceedings of the Computer Safety, Reliability, and Security, 2011

2009
Experience report: OCaml for an industrial-strength static analysis framework.
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.
Proceedings of the Logic for Programming, 2007

2006
On Constructive Cut Admissibility in Deduction Modulo.
Proceedings of the Types for Proofs and Programs, International Workshop, 2006

A Semantic Completeness Proof for TaMeD.
Proceedings of the Logic for Programming, 2006

2004
TaMeD: A Tableau Method for Deduction Modulo.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004


  Loading...