Category Archives: Internship Projects

Magnifier: An Experiment with Interactive Decompilation August 25, 2022

MUI: Visualizing symbolic execution with Manticore and Binary Ninja November 17, 2021

Solar: Context-free, interactive analysis for Solidity April 2, 2021

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

Reverie: An optimized zero-knowledge proof system December 14, 2020

Efficient audits with machine learning and Slither-simil October 23, 2020

Let’s build a high-performance fuzzer with GPUs! October 22, 2020

Osquery: Using D-Bus to query systemd data October 14, 2020

Detecting Iterator Invalidation with CodeQL October 9, 2020

PrivacyRaven Has Left the Nest October 8, 2020