Securify
- Formal verification of smart contracts
Analyse any contract for critical security vulnerabilities and insecure coding. With one click only you can receive formal security guarantees,and accept sources and bytecode.
Status: Live
Author
Software license
Unknown license
Last updated: Mar 20th, 2018
Submitted: Jul 7th, 2017
Related DApps
SolidStamp
Registry of contract audtis
-
Solidified
Audit platform for smart contracts
SmartCheck
Scan your code by our SmartCheck static code analyzer
Bitcannery
Safely keeps encrypted data
NuCypher
Privacy Infrastructure for Web3
Fireblock
Integrity and ownership for distributed files
-
CPU Emergency
CPU usage verification
-
SafeBlocks Firewall
DApps Firewall
Request Network
The network for payment requests, sort of a Paypal 2.0
-
Invoice Financing DApp
Invoicing Platform
-
EtherTrack
Trustable and transparent traceability manager
Chatwei
Anonymous messaging platform
