MUI: Visualizing symbolic execution with Manticore and Binary Ninja

A Year in the Life of a Compiler Fuzzing Campaign

Un-bee-lievable Performance: Fast Coverage-guided Fuzzing with Honeybee and Intel Processor Trace

Exploiting machine learning Pickle files

The Tao of Continuous Integration

Serving up zero-knowledge proofs

PDF is Broken: a justCTF Challenge

Reverie: An optimized zero-knowledge proof system

Seriously, Stop Using RSA

Efficient smart contract security audits with machine learning and slither-simil