Smartcheck: Static Analysis of Ethereum Smart Contracts

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

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

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

The Good, the Bad, and the Ugly: Automated Sound Static Analysis of Ethereum Smart ContractsПодробнее

Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart ContractsПодробнее

Evaluation of Smart Contract Vulnerability Analysis ToolsПодробнее

AuditBase - Static Analysis Tool For SolidityПодробнее

Yannis Smaragdakis Real Time Security Monitoring for Smart Contracts： a Relational ApproachПодробнее

#HITB2023HKT D2T1 - Locate Vulnerabilities Of Ethereum Smart Contracts - Boik SuПодробнее

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static AnalysisПодробнее

USENIX Security '20 - ETHBMC: A Bounded Model Checker for Smart ContractsПодробнее

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static AnalysisПодробнее

[COVID]Symbolic value-flow static analysis:deep,precise,complete modeling of Ethereum smartcontractsПодробнее

Ethereum/EVM Smart Contract Reverse Engineering & Disassembly - Blockchain Security #3Подробнее

Go. Audit. Smart. Contracts (Go to the fkn gym... but smart contracts) #web3 #solidity #ethereumПодробнее

DEF CON 25 - Matt Suiche - Porosity A Decompiler For Blockchain Based Smart Contracts BytecodeПодробнее

Next-Gen Static Analysis for Solidity ContractsПодробнее

MadMax: Analyzing the Out-of-Gas World of Smart ContractsПодробнее

Ethereum Smart Contract Analysis & Solidity Audit using Mythril - Blockchain Security #2Подробнее