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
This page had 40 views and 4 clicks (10% CTR) in the last 180 days
Related DApps
-
Solidified
Audit platform for smart contracts
SmartCheck
Scan your code by our SmartCheck static code analyzer
Odin for Klaytn
Verify and certify your smart contract
Bitcannery
Safely keeps encrypted data
NuCypher
Privacy Infrastructure for Web3
Fireblock
Integrity and ownership for distributed files
MythX
Premier security analysis service
Request Network
The network for payment requests, sort of a Paypal 2.0
-
Invoice Financing DApp
Invoicing Platform
-
EtherTrack
Trustable and transparent traceability manager
banq-audit
The marketplace for code audits
ETHERECHO
Magic contracts of privacy
