Tuesday March 09, 2021
Bitcoin (BTC) $52,340.00   Ether (ETH) $1,836.17
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
NEWSLETTER SIGNUP
EXCHANGE 300+ COINS
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas
No Result
View All Result
Home Security

ChainSecurity launches full version of Securify, advanced security scanner for Ethereum

Published by CryptoNinjas.net
07/03/2018
ChainSecurity launches full version of Securify, advanced security scanner for Ethereum

ChainSecurity, a developer of secure blockchain protocols today announced the release of its latest automated security scanner for Ethereum smart contracts. The system is publicly available at https://securify.ch with the goal to raise the level of security in the Ethereum ecosystem.

This also marks the official release of Securify, the popular automated verifier for Ethereum smart contracts, used on a daily basis by security experts to audit smart contracts. It has so far scanned over 4,800 contracts and discovered over 59,000 security issues.

The research behind the scanner

The main technical challenge in building an effective security scanner for smart contracts is finding a way to explore all behaviors of the contract, which can even exceed the number of atoms in the universe. Recent research from the ICE Center, ETH Zurich, addresses this challenge via a new abstraction, tailored specifically to the domain of smart contracts, enabling us to scan all behaviors for vulnerabilities in few minutes. ChainSecurity, a startup founded by researchers from the ICE center, have turned this new result into an easy-to-use security scanner. Full technical details behind the new research are available in this report.

How does it compare to existing solutions?

Unlike existing security checkers, which inspect only a subset of all behaviors and can miss critical security vulnerabilities, Securify considers all behaviors. Indeed, a study on open-source Ethereum contracts reveals that existing solutions can miss up to two-thirds of vulnerabilities due to insufficient coverage (see experiments and data here). Finally, Securify offers the following advantages:

  • Guarantees: it is able to prove the safety of the contract for specific properties;
  • Scalability: it is scalable enough to handle any Ethereum project;
  • Coverage: it scans for 18 critical vulnerabilities, making it the most comprehensive security analyzer for Ethereum;
  • Improved usability: supports scanning of git repositories.
Security report produced by Securify
How to use it?

There are three ways: (i) paste the source code in code editor, (ii) point to a git repository that stores all contracts (see Fig. 1), or (iii) upload a ZIP file with the contracts. The “SCAN NOW” button will scan all contracts for security issues and show a security report.

When the smart contracts have been fully scanned, the system produces a comprehensive report that lists all identified security issues (see Fig. 2) and highlights the vulnerable statements in the code editor (see Fig. 3), to guide developers how to fix their contract. The security scanner also provides additional information about each vulnerability which can help developers fix the issues.

Impact

Securify aims to eliminate all generic security issues that appear in Ethereum smart contracts. The scanner has already discovered critical security issues in newly proposed token standards (such as a reentrancy issue in the ERC827 standard) and Solidity libraries (such as the Feeless library). Further, it successfully detects critical vulnerabilities that have resulted in more than $300M losses in the past two years. Examples include the infamous DAO vulnerability and the two critical security issues discovered in the popular Parity wallet (read this article for more details).

Release summary
  • Securify is available as a free service at https://securify.ch
  • Research available at https://arxiv.org/pdf/1806.01143.pdf
  • The new scanner inspects all possible behaviors of the contract and often discovers up to 3x more security issues compared to existing security tools, which only check part of the contract. This offers stronger guarantees than existing widely-used solutions such as Oyente and Mythril.
14
SHARES
FacebookTwitterLinkedinRedditE-MailTelegram

Related News

Zilliqa to boost its blockchain security with ChainSecurity
Security

Zilliqa to boost its blockchain security with ChainSecurity

09/18/2019
DigiFinex partners with ChainSecurity to ensure safe and secure exchange
Security

DigiFinex partners with ChainSecurity to ensure safe and secure exchange

12/18/2018
ChainSecurity completes security audit for Kyber.Network
Security

ChainSecurity completes security audit for Kyber.Network

07/09/2018
Contract Vault and ChainSecurity join forces for smart contract services
Featured

Contract Vault and ChainSecurity join forces for smart contract services

04/08/2018
Load More
Leave Comment

Where to Exchange

Bit2MeLeading Spanish Bitcoin ExchangeVisit
BL3P
European Bitcoin ExchangeVisit
ChangellyExchange & Buy 150+ CryptocurrenciesVisit
itBitAmerica's First Regulated Bitcoin ExchangeVisit
  • Trending
  • Latest
Creators of crypto wallet Exodus files with SEC to allow purchase of its stock with bitcoin

Creators of crypto wallet Exodus file with SEC for $75M public offering

03/03/2021
Enjin launching two scaling solutions to remove gas and support NFTs from any blockchain

Enjin launching two scaling solutions to remove gas and support NFTs from any blockchain

03/04/2021
P2P crypto escrow platform Escaroo adds staking function from Moonstake

P2P crypto escrow platform Escaroo adds staking function from Moonstake

03/05/2021
DeFi yield optimization protocol ETHA Lend closes $1.6M funding round

DeFi yield optimization protocol ETHA Lend closes $1.6M funding round

03/04/2021
SIMBA Chain expands to Avalanche blockchain enabling low-code smart contract deployment

SIMBA Chain expands to Avalanche blockchain enabling low-code smart contract deployment

03/02/2021
DeversiFi introduces fast withdrawals feature between L2 and L1 Ethereum

DeversiFi introduces fast withdrawals feature between L2 and L1 Ethereum

03/09/2021
Alpha Sigma Capital, DigiFinex, BitMart, Emirex and Everest join EmiSwap's DAO

Alpha Sigma Capital, DigiFinex, BitMart, Emirex and Everest join EmiSwap’s DAO

03/08/2021
Akash Network's MAINNET 2 decentralized open-source cloud now live

Akash Network’s MAINNET 2 decentralized open-source cloud now live

03/08/2021
Swiss bank alternative CrescoFin introduces new liquidity mining program

Swiss bank alternative CrescoFin introduces new liquidity mining program

03/08/2021
Horizen and StakeHound partner to launch new DeFi bridge for ZEN token

Horizen and StakeHound partner to launch new DeFi bridge for ZEN token

03/08/2021
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2021 CryptoNinjas Disclosures | Privacy Policy

  • Home
  • Crypto Links
  • Market Data
  • Blockchain Tech
  • Exchanges
  • Capital Raising
  • Vendor Technology
  • Token Offerings/Listings
  • Payments
  • Wallets
  • Bitcoin ATM Map
  • Conferences & Events
  • About
  • Contact

© 2016 - 2021 CryptoNinjas Disclosures | Privacy Policy


Go to mobile version