Yearly Archives: 2019

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

Watch Your Language: Our First Vyper Audit October 24, 2019

Multi-Party Computation on Machine Learning October 4, 2019

TSC Frequency For All: Better Profiling and Benchmarking October 3, 2019

Tethered jailbreaks are back September 27, 2019

QueryCon 2019: A Turning Point for osquery September 20, 2019

Crypto 2019 Takeaways September 11, 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