Secureum is an effort towards education & evaluation of Ethereum security.