Join Our Mailing List
Friday February 03, 2023
Bitcoin (BTC) $23,439.28   Ethereum (ETH) $1,656.40
  • Events
  • News
    • Blockchain Technology
    • Capital Raising
    • Crypto Exchanges
    • Crypto Payments
    • Gaming & Betting
    • Investment Management
    • M&A
    • Mining
    • Networks & Protocols
    • Security
    • Vendor Technology
    • Wallets
Trezor Model T
CryptoNinjas
  • Crypto & Blockchain Links
  • Real-Time Market Data
  • Bitcoin ATM Map
  • Token Offerings/Listings
No Result
View All Result
CryptoNinjas
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.
211
SHARES
FacebookTwitterLinkedinRedditE-MailTelegram

Related News

Zilliqa to boost its blockchain security with ChainSecurity

09/18/2019
Zilliqa to boost its blockchain security with ChainSecurity

Zilliqa, the high-throughput blockchain platform, announced today it has partnered with ChainSecurity, a blockchain security provider, to develop a host of security tools and resources for the Zilliqa ecosystem. With the project’s existing emphasis...

Read more

DigiFinex partners with ChainSecurity to ensure safe and secure exchange

12/18/2018
DigiFinex partners with ChainSecurity to ensure safe and secure exchange

It was announced that popular crypto asset exchange DigiFinex has partnered with ChainSecurity, a leader in blockchain asset security with automated reasoning to provide DigiFinex with preferential access to its proprietary smart contract certification and...

Read more

ChainSecurity completes security audit for Kyber.Network

07/09/2018
ChainSecurity completes security audit for Kyber.Network

ChainSecurity, creator of an audit platform for smart contracts today announced it has completed a security audit of Kyber.Network, a decentralized exchange that supports a wide number of tokens. The full report, including the range of...

Read more

Contract Vault and ChainSecurity join forces for smart contract services

04/08/2018
Contract Vault and ChainSecurity join forces for smart contract services

Contract Vault, a leading Crypto Valley-based platform for customizable legal and smart contracts and ChainSecurity, one of the top providers of fully automated formal smart contract audits have announced a strategic partnership. The goal...

Read more
Load More
Leave Comment

Where to Exchange

Leading crypto suite in Spain & LATAM Visit
European bitcoin exchange Visit
Swap & buy 150+ cryptocurrencies Visit
First U.S. regulated BTC exchange Visit
  • Trending
  • Latest
Trust Wallet launches anticipated browser extension of its crypto management app

Trust Wallet launches anticipated browser extension of its crypto management app

11/14/2022
Crypto derivatives exchange Deribit to put in place trade surveillance platform from Eventus

Crypto derivatives exchange Deribit to put in place trade surveillance platform from Eventus

01/24/2023
ETH infrastructure platform Blocknative adds TX bundles, cancellation, and replacement support

ETH infrastructure platform Blocknative adds TX bundles, cancellation, and replacement support

02/02/2023
Where Exactly Can You Spend Monero Cryptocurrency?

Where Exactly Can You Spend Monero Cryptocurrency?

10/20/2021
ETH infrastructure platform Blocknative adds TX bundles, cancellation, and replacement support

ETH infrastructure platform Blocknative adds TX bundles, cancellation, and replacement support

02/02/2023
Crypto derivatives exchange Deribit to put in place trade surveillance platform from Eventus

Crypto derivatives exchange Deribit to put in place trade surveillance platform from Eventus

01/24/2023
Crypto exchange Gemini launches new electronic OTC trading solution

Crypto exchange Gemini launches new electronic OTC trading solution

01/19/2023
Crypto securitization platform-GenTwo links to all Coinbase assets

Crypto securitization platform GenTwo links to all Coinbase assets

01/14/2023
  • Home
  • Directory
  • Data
  • About
  • Contact
SUBSCRIBE

© 2016 - 2023 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
No Result
View All Result

© 2016 - 2023 CryptoNinjas Disclosures | Privacy Policy