KEVM: A Complete Semantics of the Ethereum Virtual Machine
An inquiry into money laundering tools in the Bitcoin ecosystem