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