Category Archives: Internship Projects

Harnessing the eBPF Verifier January 19, 2023

Keeping the wolves out of wolfSSL January 12, 2023

Look out! Divergent representations are everywhere! November 10, 2022

Stranger Strings: An exploitable flaw in SQLite October 25, 2022

Porting the Solana eBPF JIT compiler to ARM64 October 12, 2022

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