We identify security vulnerabilities and certify the functional correctness of smart contracts and blockchain projects.
We have extensive experience with complex projects, such as decentralized exchanges, multi-party computation protocols and high-value enterprise systems.
A selection of public audits performed by us can be found in our GitHub repository.
Our team consists of PhDs and graduates in blockchain security from ETH Zurich, Switzerland
We use our audit platform to check for vulnerabilities and certify correctness
The smart contracts audited by our experts have raised over $300 millions
We follow a professional audit process to guarantee high quality and speed:
Based on code and documentation and the agreed scope
We audit the code using our proprietary audit platform
We mark issues as fixed and publish the report (if you agree)
You improve the code according to findings
Sent privately to you, includes all findings and suggestions
We have worked with 30+ clients around the world:
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.
- Hello Gold
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.
Next-generation blockchain security with automated reasoning
The security audit platform is based on our state-of-the-art security tools:
Scans smart contracts for critical vulnerabilities using an extensivel list of proprietary security patterns. Available for Ethereum and Hyperledger Fabric.
Certifies smart contracts with respect to a functional specification defining the intended behavior of the contracts (e.g., maximum supply of tokens is < 1M).
Learns from thousands of contracts and transactions to generate tests that often achieve higher coverage than manually written tests.
Our security audit platform evaluates smart contracts for vulnerabilities and certifies their behavior with
respect to a custom function specification:
Source code and deployment scripts
Formalizes the intended behavior
Lists security vulnerabilities and certified/violated requirements
Based on the latest research from the ICE center, ETH Zurich
Join our community and contribute to the project
Covered by top technology online publishers
Securify is funded by the Ethereum Foundation Grants program
Our monitoring inspects smart contracts on-chain to ensure compliance and absence of security exploits
Try our DEMOS on the popular MAKERDAO and BEAUTY COIN tokens
Let investors and users know that
the smart contracts are all green
Track user behavior and anomalies
to identify potential problems
Receive private alerts quickly to
react on time
Automated run-time monitoring tool is much needed in this space in addition to all static analysis tools. ChainSecurity Monitoring offers an additional layer of protection to end users and platform operators by helping detect potential malicious or anomaly behaviors on smart contracts early. - Loi Luu, CEO Kyber.Network
Our products are based on the latest research in the areas of system security, program analysis, and machine learning.
For information about projects, lectures, and talks, visit http://ice.ethz.ch
Our team has published 100+ peer-reviewed papers at top security, program analysis, and machine learning conferences
Hubert obtained his PhD from ETH Zurich in the area of blockchain and cloud security.
Petar obtained his PhD from ETH Zurich in the area of automated security analysis and verification.
Matthias holds a Master degree from ETH Zurich and has experience in security software engineering and management.
Quentin holds a Master degree from ETH Zurich and specializes in automated security analysis and testing of smart contracts.
Anton holds a Master degree from ETH Zurich and specializes in symbolic verification of smart contracts.
Fabiola is a communicator and a deal maker currently driving business growth and partnerships at ChainSecurity.
Dominic holds a Master degree from ETH Zurich and specializes on the security of the Ethereum platform.
Nico has background in finance and analysis of geometric chart patterns and is currently focusing on smart contract security.
Jitendra is a seasoned developer who has discovered multiple major security issues in popular smart contracts.
Martin is an Associate Professor at ETH Zurich working on software security and reliability.
Laurent is an Assistant Professor at ETH Zurich working on network security and reliability.
We are hiring. If you like to solve hard problems and improve security, apply at email@example.com.