Category Archives: Internship Projects

Detecting Bad OpenSSL Usage May 29, 2020

Emerging Talent: Winternship 2020 Highlights May 22, 2020

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