Yearly Archives: 2020

Contract verification made easier July 12, 2020

Advocating for change June 17, 2020

Upgradeable contracts made safer with Crytic June 12, 2020

ECDSA: Handle with Care June 11, 2020

How to check if a mutex is locked in Go June 9, 2020

Breaking the Solidity Compiler with a Fuzzer June 5, 2020

Detecting Bad OpenSSL Usage May 29, 2020

Verifying Windows binaries, without Windows May 27, 2020

Emerging Talent: Winternship 2020 Highlights May 22, 2020

Reinventing Vulnerability Disclosure using Zero-knowledge Proofs May 21, 2020