Yearly Archives: 2020

Bug Hunting with Crytic May 15, 2020

Announcing the 1st International Workshop on Smart Contract Analysis April 23, 2020

Revisiting 2000 cuts using Binary Ninja’s new decompiler April 17, 2020

Announcing our first virtual Empire Hacking April 7, 2020

An Echidna for all Seasons March 30, 2020

Announcing the Zeek Agent March 23, 2020

Financial Cryptography 2020 Recap March 18, 2020

Real-time file monitoring on Windows with osquery March 16, 2020

Our Full Report on the Voatz Mobile Voting Platform March 13, 2020

Manticore discovers the ENS bug March 3, 2020