Homepage
Open in app
Sign in
Get started
Top Stories published by ChainSecurity in April of 2019
All
2019
April
Sort by most read
Petar Tsankov
in
ChainSecurity
Apr 24, 2019
VerX: Full functional verification for Ethereum contracts, now at your fingertips
Read more…
218
3 responses
March 2019
June 2019
About
ChainSecurity
From the world of secure smart contracts
More information
Tags
Chain Security
Smart Contracts
Formal Verification
Security
Ethereum
Editors
Matthias Egli
ChainSecurity
Hubert Ritzdorf
Nico Schäfer
Emilie Raffo
Tynan Richards
Writers
Emilie Raffo
Tanguy Rocher
Torgin Mackinga