Category Archives: Internship Projects

A Winter’s Tale: Improving messages and types in GDB’s Python API April 18, 2023

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