Ethereum Foundation Awards Grant for DeepSEA Research by CertiK, Yale, and Columbia to Create Safer Smart Contracts
ID: f05cd8af-ae64-5e6d-84d1-3c64ebd47185
STIX ID: report--f05cd8af-ae64-5e6d-84d1-3c64ebd47185
Feed Name: CertiK Blog
This press release announces that the Ethereum Foundation awarded a grant to the DeepSEA project (led by academic and CertiK collaborators) to develop a formally verified smart contract language and compiler for the EVM, highlights prior grants and industry partnerships, and promotes formal verification and CertiK’s audit services to reduce smart contract vulnerabilities.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.