Securify
Formal verification of smart contracts.
Securify brings security scanner for Ethereum smart contracts. Created by ICE center and ChainSecurity.
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.
Securify brings security scanner for Ethereum smart contracts. Created by ICE center and ChainSecurity.