Startups

ChainSecurity
ChainSecurity brings advanced security tools and solutions for blockchains

Systems

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

Publications

2020

VerX: Safety Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin Vechev
IEEE S&P 2020

2019

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 Balunovic, Nodar Ambroladze, Petar Tsankov, Martin Vechev
ACM CCS 2019

2018

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

Talks

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