ChainSecurity brings advanced security tools and solutions for blockchains


Securify is a static security scanner for Ethereum smart contracts
VerX is a full functional verifier for Ethereum smart contracts
SOLTIX: Scalable automated framework for testing Solidity compilers
Chaincode Scanner
Chaincode Scanner: Security analyzer for Hyperledger fabric smart contracts



Zapper: Smart Contracts with Data and Identity Privacy
Samuel Steffen, Benjamin Bichsel, Martin Vechev
ACM CCS 2022 Distinguished Paper Award
ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs
Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin Vechev
IEEE S&P 2022


zkay v0.2: Practical Data Privacy for Smart Contracts
Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin Vechev
arXiv 2020
VerX: Safety Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin Vechev
IEEE S&P 2020


zkay: Specifying and Enforcing Data Privacy in Smart Contracts
Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin Vechev
ACM CCS 2019
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Jingxuan He, Mislav Balunović, Nodar Ambroladze, Petar Tsankov, Martin Vechev
ACM CCS 2019


Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin Vechev
ACM CCS 2018


Certifying functional correctness of Ethereum smart contracts
Ethereum Community Conference EthCC, Paris, France 2019
Securify: Practical Security Analysis of Smart Contracts
The Summer Research Institute (SuRI), EPFL 2018
The Future of Smart Contract Audits
d10e: The leading conference on decentralization, Davos 2017
Declarative Static Analysis of Smart Contracts
EDCON: Community Ethereum developer conference, Toronto 2018
Securify: Not Your Grandma’s Smart Contract Verification
DevCon3: Ethereum foundation developers conference, Cancun 2017