ChainSecurity

ChainSecurity

NEXT-GENERATION BLOCKCHAIN SECURITY WITH AUTOMATED REASONING.

About ChainSecurity

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 use our audit platform to check for vulnerabilities and certify correctness

Activity

Followers:
1 539
Tweets:
251

Team

Dr. Hubert Ritzdorf
Team member
Dr. Petar Tsankov
Team member
Matthias Egli
Team member
Quentin Hibon
Team member
Anton Permenev
Team member
Daniel Fischmann
Team member
Fabiola Imhof
Team member
Dominic Brütsch
Team member
Nico Schäfer
Team member
Jitendra Chittoda
Team member
Pepa Echanove
Team member
Prof. Martin Vechev
Team member
Prof. Laurent Vanbev...
Team member
Petar Ivanov
Team member

Participation in events