Blockchain Security

In this project we build novel solutions for securing blockchain projects, including automated audit platforms for certifying the correctness of smart contracts

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

2022

Zapper: Smart Contracts with Data and Identity Privacy
Samuel Steffen, Benjamin Bichsel, Martin Vechev
ACM CCS 2022 Distinguished Paper Award

Slides
Paper
Code
ZeeStar: Private Smart Contracts by Homomorphic Encryption and Zero-knowledge Proofs
Samuel Steffen, Benjamin Bichsel, Roger Baumgartner, Martin Vechev
IEEE S&P 2022

Slides
Paper
Code

2020

zkay v0.2: Practical Data Privacy for Smart Contracts
Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin Vechev
arXiv 2020

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

Paper

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

Slides
Paper
Code
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Jingxuan He, Mislav Balunović, Nodar Ambroladze, Petar Tsankov, Martin Vechev
ACM CCS 2019

Slides
Talk
Paper
Code

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

Slides
Talk
Paper

Talks

Certifying functional correctness of Ethereum smart contracts
Ethereum Community Conference EthCC, Paris, France 2019

Slides
Talk
Securify: Practical Security Analysis of Smart Contracts
The Summer Research Institute (SuRI), EPFL 2018

Slides
Talk
The Future of Smart Contract Audits
d10e: The leading conference on decentralization, Davos 2017

Slides
Talk
Declarative Static Analysis of Smart Contracts
EDCON: Community Ethereum developer conference, Toronto 2018

Slides
Talk
Securify: Not Your Grandma’s Smart Contract Verification
DevCon3: Ethereum foundation developers conference, Cancun 2017

Slides
Talk
Automated Formal Verification of Smart Contracts
Ethereum Meetup Zurich, 2017

Slides