Category Archives: Internship Projects

Grace Hopper Celebration (GHC) 2019 Recap October 29, 2019

Formal Analysis of the CBC Casper Consensus Algorithm with TLA+ October 25, 2019

Multi-Party Computation on Machine Learning October 4, 2019

DeepState Now Supports Ensemble Fuzzing September 3, 2019

Rewriting Functions in Compiled Binaries September 2, 2019

Binary symbolic execution with KLEE-Native August 30, 2019

Reverse Taint Analysis Using Binary Ninja August 29, 2019

Wrapper’s Delight August 26, 2019

Better Encrypted Group Chat August 6, 2019

Creating an LLVM Sanitizer from Hopes and Dreams June 25, 2019