Securify: Practical Security Analysis of Smart Contracts

Описание к видео Securify: Practical Security Analysis of Smart Contracts

Despite their potential, repeated security concerns have shaken the trust in handling billions of USD by smart contracts. To address this problem, we present Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property.
Read this paper in the ACM Digital Library:

https://dl.acm.org/citation.cfm?id=32...

Комментарии

Информация по комментариям в разработке

Похожие видео