HackenProof is hosting a meetup to discuss the current methods and threats in blockchain security and how to make smart contracts and blockchain protocols more secure. The event will be useful to software engineers, blockchain security researchers and smart contract auditors to share and exchange experience. Feel free to join the Telegram chat for our meetup – https://t.me/blockchainhackers
Agenda:
Pavlo will go over several tools developed by Hacken, such as the blockchain vulnerability scoring system, Smart Contract Secure Development Guidelines and HackenProof blockchain vulnerability database. He will showcase the importance of these tools and go over some use cases.
- Symbolic Verification of Ethereum Smart Contracts – Petar Tsankov, Chief Science Officer at ChainSecurity
Petar will present ChainSecurity Glyph, a dynamic smart contract verification system based on the newest research out of the ICE Lab at ETH Zurich in cooperation with ChainSecurity. It allows to write and verify custom assertions and safety properties for smart contracts. This tool should significantly reduce the time it takes to test smart contracts.
- Consensus tools demo and Q&A – Rocky Bernstein, ConsenSys Diligence Team
Rocky’s talk is about Mythril’s Truffle integration. He will present a demo for the integration for test smart contract. In addition, there will be Q&A with ConsenSys Diligence team members at the end of the talk
- Smart Contract Vulnerability Classification – Ivan Ivanitskiy, Chief Analytics Officer at SmartDec
There are a lot of well-known types of smart contract vulnerabilities. Still, there is no classification that would give a high-level understanding. SmartDec will present their own classification to help educate developers and allow them to work with tool results and audit reports.
- Bug Bounty for Blockchain Projects – Evgenia Broshevan, Project Lead at HackenProof
This talk will explain how a crowdsourced security approach can help blockchain projects enhance their security by leveraging the power of white hat hackers community. Evgenia will go over the current state of the industry, explain how it works, list typical vulnerabilities that are usually reported, and will also explain how to start your own bug bounty program.
- Static Analysis for Vyper – Evgeny Marchenko, Lead Developer at SmartDec
There are few development tools for Vyper nowadays. SmartDec has recently added Vyper support to SmartCheck – static code security analyzer for smart contracts. Evgeny will explain how it works and give a demonstration on how to use this tool.
For any questions, you can contact Phil Zhunior at phil@hacken.io
Get tickets for this event on: EventBrite.
