ChainSecurity brings the first formal audit platform for smart contracts. Based on Swiss technology from the ICE center [http://ice.ethz.ch ], ETH Zurich.
No funding rounds tracked yet.