The Good, the Bad, and the Ugly: Automated Sound Static Analysis of Ethereum Smart Contracts

The Good, The Bad and The Ugly - ISoLA 2020Подробнее

Key Researcher Talk, Static Analysis of Ethereum Smart Contracts, Matteo MaffeiПодробнее

"Practical and Provably Sound Static Analysis of Ethereum..." Prof. Matteo Maffei (ICISSP 2021)Подробнее

eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts - Teaser (CCS 2020)Подробнее

Matteo Maffei - Practical and Provably Sound Static Analysis of Ethereum Smart ContractsПодробнее

USENIX Security '21 - EVMPatch: Timely and Automated Patching of Ethereum Smart ContractsПодробнее

The Good, the Bad, and the Ugly of Blockchains with Stefan EdwardsПодробнее

Robert Zaremba - Auditing Ethereum smart contractsПодробнее

EMI Testing: Finding 1000+ Bugs in GCC and LLVM in 3 Years - Zhendong SuПодробнее

The Good, the Bad, and the Ugly of BlockchainsПодробнее

Simplicity: From Bitcoin Script to Arbitrary ComputationПодробнее

Learn Blockchain, Solidity, and Full Stack Web3 Development with JavaScript – 32-Hour CourseПодробнее

Smart Contracts: Coding Best Practices and Security Recommendations by ConsenSys Academy (Devcon5)Подробнее

BBSE - Exercise 6: Ethereum BasicsПодробнее

Quantitative Analysis of Lightning Network PrivacyПодробнее

Live on the Gitcoin call !Подробнее

Unsafe: the good, the bad, and the ugly by Victor Lopez at Rust Developer MeetupПодробнее