The robindavid.github.io from robindavid

robindavid.github.io's Introduction

Hi there! 👋

I'm Robin - I am Software Security Researcher @ Quarkslab. You can find below some projects I am developing or contributing to.

⚡ Projects

Fuzzing / Symbolic Execution:

PASTIS: Collaborative fuzzing infrastructure. It leverages AFL++, Honggfuzz and TritonDSE (thus greybox and whitebox fuzzing) for program coverage and bug discovery.
TritonDSE: Symbolic Execution engine based on Triton built for automatic program coverage exploration. It has been design to encompass multiple program analysis use-cases.

Deobfuscation / Program Synthesis:

Qsynthesis: Program synthesizer geared for deobfuscation. It leverages, Triton for symbolic execution, and also LevelDB, Z3 llvmlite, capstone
idasec: (unmaintained anymore), opaque predicate deobfuscation, trace generation via an IDA Pro plugin (using Binsec)

Diffing / Firmware Analysis: Portal

QBinDiff: Binary differ, based on Network Alignment and Belief Propagation
python-bindiff: Python wrapper and API for Bindiff
python-binexport: Python wrapper and API for BinExport

Other:

pydimacs, simple module to manipule CNF (Conjonctive Normal Form), graphs using Z3 Python API

📞 Contact

⬅️ just here

✍️ Technical Blog Posts

📈 Stats

More details 🔬

https://www.githubwrapped.io/RobinDavid

robindavid.github.io's People

Contributors

Stargazers

Watchers

robindavid.github.io's Issues

Modifying the code.

Hi Robin,

Thanks for putting together the code and the article in http://www.robindavid.fr/opencv-tutorial/cracking-basic-captchas-with-opencv.html. I'm trying to rebuild your capchca_downloader code for python 3, so that I can do my first experimentation with machine learning ( https://medium.com/@ageitgey/how-to-break-a-captcha-system-in-15-minutes-with-machine-learning-dbebb035a710 ). Can I ask what version of cv2 you are using in the article? The following code no longer works:

    self.image = cv.CreateImageHeader(source.size, cv.IPL_DEPTH_8U, 3)
    cv.SetData(self.image, source.tostring())
    cv.CvtColor(self.image, self.image, cv.CV_RGB2BGR)

I am using version 3.4.1

Recommend Projects