Richard Bonichon

Publications

100

Citations

H-Index

2009

Active since

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Université Paris-Saclay

Richard Bonichon is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in program analysis, software engineering, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisSoftware EngineeringFormal VerificationComputer EngineeringFormal MethodsStatic AnalysisSystem Software

Publications per year

2009–2021

Publications

Experience report

Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · 2009 · 42 citations

High-level Programming Language, Engineering, Implementation Language +15

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

Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon et al. · arXiv (Cornell University) · 2020 · 19 citations · Full text

Software Maintenance, Engineering, Software Engineering +18

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

Grégoire Menguy, Sébastien Bardin, Richard Bonichon et al. · 2021 · 15 citations · Full text

Artificial Intelligence, Engineering, Evasion Technique +18

Obfuscation

Mathilde Ollivier, Sébastien Bardin, Richard Bonichon et al. · 2019 · 13 citations

Software Security, Engineering, Evasion Technique +14

Experience report

Pascal Cuoq, Julien Signoles, Patrick Baudin et al. · ACM SIGPLAN Notices · 2009 · 11 citations

High-level Programming Language, Engineering, Implementation Language +15

Rows per page

1–5 of 5