linguistic:translation, structural:summarization
ChainSecurity

ChainSecurity is a spin-off founded by ETH professor Martin Vechev and the former ETH doctoral students Hubert Ritzdorf and Petar Tsankov. The company's overall goal is to make blockchain technologies more secure. To that end, it develops and operates automated scanning programs for auditing smart contracts. Providers of smart contracts can ask ChainSecurity to audit them and thus receive certification for the security of their contracts.