Yearly Archives: 2020

Good idea, bad design: How the Diamond standard falls short October 30, 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

Graphtage: A New Semantic Diffing Tool August 28, 2020

Using Echidna to test a smart contract library August 17, 2020

Sinter: New user-mode security enforcement for macOS August 12, 2020

Accidentally stepping on a DeFi lego August 5, 2020