Category Archives: Internship Projects

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

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