The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

Various code from the past (for historical purposes)

Themes for Pelican

Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.

A powerful and user-friendly binary analysis platform!

A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Develo…

Cross Platform Kernel Fuzzer Framework