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.

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

  • 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 Master's student at ETH Zurich, doing research on privacy in machine learning.

  • MATTHIAS EGLI

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

  • FABIOLA IMHOF

    Fabiola is a communicator and a deal maker, currently driving business growth and long-term partnerships at ChainSecurity.

  • TOBIAS KAISER

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

  • DOMINIC BRÜTSCH

    Dominic has a Master degree from ETH Zurich where he specialized on the security of the Ethereum platform.

  • NICO SCHÄFER

    Nico has background in finance and analysis of geometric chart patterns and is currently focusing on smart contract security.

  • PEPA ECHANOVE

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

  • LEONARD VON KLEIST

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

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