Category Archives: Internship Projects

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

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