THE FIRST AUTOMATED FORMAL AUDIT PLATFORM FOR SMART CONTRACTS

Straight from the creators of SECURIFY, the popular smart contract analyzer.
Offering the only automated formally verified audits, based on latest research from the ICE center, ETH Zurich.

REQUEST AUDIT

ChainSecurity’s automated

FORMAL AUDIT PLATFORM

The founders of ChainSecurity have previously created the popular SECURIFY smart contract analyzer.
Now, they have created the first automated formal audit platform for smart contracts.

AUDIT PHASE

  • Developer
  • Smart Contracts
  • Audit platform / Experts
  • Public report
  • Private report

DEPLOYMENT PHASE

  • Developer
  • Public report
  • Community
  • Blockchain
  • Formally verified smart contracts
EXPRESS AUDIT 24 hours EXPERT AUDIT 1-2 weeks CUSTOM AUDIT 3-4 weeks
Security analysis by the ChainSecurity audit platform
Code review by ChainSecurity experts
Private and public audit report
Formalization of custom requirements
REQUEST AUDIT

The Testimonials of Our

PARTNERS

Straight From The Lab

RESEARCH

We combine the latest research in program analysis, machine learning, and system security to build innovative blockchain solutions

For information about projects, lectures, and talks, visit http://ice.ethz.ch

SYSTEMS

The first formal auditing system for Ethereum smart contracts. Analyzes any contract for critical security vulnerabilities and insecure coding.

  • DR. HUBERT RITZDORF

    Hubert defended his PhD from ETH Zurich in the area of blockchain and cloud security.

  • DR. PETAR TSANKOV

    Petar obtained his PhD from ETH Zurich in the area of automated security analysis.

  • QUENTIN HIBON

    Quentin specialized in smart contract security during his Master of Computer Science at ETH Zurich.

  • ANTON PERMENEV

    Anton is Computer Science Master Student at ETH, working on Smart Contract Verification.

  • DANIEL FISCHMANN

    Daniel is a final-year undergraduate student at ETH Zurich, doing research on privacy in machine learning.

  • LEONARD VON KLEIST

    Leonard is an undergraduate student at ETH Zurich, deepening his knowledge in smart contract security.

  • PROF. MARTIN VECHEV

    Martin is an Associate Professor at ETH Zurich working on software security and reliability.

  • DR. ARTHUR GERVAIS

    Arthur is an Assistant Professor at Imperial College London working on blockchain security.

  • PROF. LAURENT VANBEVER

    Laurent is an Assistant Professor at ETH Zurich working on network security and reliability.

  • YOU?

    We are hiring. If you like to solve hard problems and improve security, apply at jobs@chainsecurity.com.

Latest

News