Posts tagged "E t h"

EthBMC

A bounded model checker for smart contracts, that can steal money. Published at USENIX Security 2020

Cornelius Aschermann

Fuzzing, Reverse Engineering, Binary Analysis

Security Researcher

Germany