ChainFeeds
Alpha
Securify
Formal verification of smart contracts.
Startups
Ethereum
Security
Web
securify.ch
Twitter
twitter.com/SecurifySwiss
SECURITY SCANNER FOR ETHEREUM SMART CONTRACTS.
See Also
Quantstamp
Dominik Teiml
Buglab
Dapphub
CoinMercenary
Hats.Finance
Jason Teutsch
Plasma
Counterfactual
TrueBit