We're hiring

THE FIRST AUTOMATED FORMAL AUDIT PLATFORM FOR SMART CONTRACTS

Straight from the creators of securify and the chaincode scanner, the popular security scanners for Ethereum and Hyperledger Fabric smart contracts.
Offering formally verified audits based on latest research from ICE center, ETH Zurich.

REQUEST AUDIT

Kyber.Network audit completed

July 9, 2018

TechCrunch article on Securify and ChainSecurity

July 2, 2018

Full version of Securify available now

July 3, 2018

New blog post on reentrancy vulnerabilities in ERC827

June 25, 2018

Release of our security scanner for Hyperledger Fabric

May 30, 2018

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

We see that many people are scared of smart contracts, mostly because they aren’t technical enough to understand them and how to use them. ChainSecurity’s auditing tools are a great step forward in helping businesses trust the capabilities of this new technology.
ChainSecurity's platform and experts were extremely helpful in securing BlockV's smart contracts. Thank you for the dedication and fine attention to detail!
ChainSecurity did a supremely thorough job of auditing every aspect of our token contract, going above and beyond by seeing us through to a successful WLK token sale with perfect communications & professionalism and patience to educate along the way. Wolk considers itself lucky to have worked with best in working with ChainSecurity!" - Sourabh Niyogi, CEO, Wolk
It has been an absolute pleasure to work with ChainSecurity. Their service was consistently professional and transparent.
We were attracted by the fact that they span out from the security lab at ETH Zurich (Switzerland's answer to MIT). We kept coming back and continue referring them to others for their professionalism and commitment.
ChainSecurity has completed the audit for our token launch; including contracts that constitute the Legal Token, the SMS verification services and the token launch itself. We are extremely pleased with our choice. All the security auditors were great to work with and their services were professionally conducted. I would recommend ChainSecurity to anyone looking for top notch secure solutions for blockchains and smart contracts.
Chain Security's service was timely and professional despite given the tight deadline. Their detailed audit report helped us rectify potential problems in our smart contract, and also provided useful recommendations for improvements.

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.

Security analyzer for Hyperledger Fabric smart contracts. Discovers critical security vulnerabilities in chaincode that may prevent consensus.

SCIENTIFIC PAPERS

Our team has published a number of peer-reviewed scientific papers at top security and program analysis conferences

  • 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 is an École Polytechnique (France) alumni who specialized in smart contract security at ETH Zurich.

  • ANTON PERMENEV

    Anton is a 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.

  • MATTHIAS EGLI

    Matthias holds an M.Sc. ETH with years of experience in security software engineering and management in successful startups (CTO/COO).

  • TOBIAS KAISER

    Tobias finished his M.Sc. ETH where he specialized in security for Hyperledger Fabric chaincode.

  • PEPA ECHANOVE

    Pepa worked on academic communications and administration in Switzerland and abroad, she is now supporting our team as Office Manager.

  • CHRIS SIGNER

    Chris is a graduate student at ETH Zurich, working on his master thesis on Solidity gas cost analyzing.

  • 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.