共计 24 篇文章
2020
SmartEmbed: A Tool for Clone and Bug Detection in Smart Contracts through Structural Code Embedding ETHBMC: A Bounded Model Checker for Smart Contracts ContractFuzzer:Fuzzing Smart Contracts for Vulnerability Detection Order Matters: Semantic-Aware Neural Networks for Binary Code Similarity Detection