Startups

ChainSecurity
ChainSecurity brings advanced security tools and solutions for blockchains

Systems

Securify
Securify is a static security scanner for Ethereum smart contracts

Publications

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

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