Category Archives: Internship Projects

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

Detecting Bad OpenSSL Usage May 29, 2020