Stars
⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~
Attacker Contract Identifier Through Static Dataflow Analysis
TensorFlow code and pre-trained models for BERT
Python scripts for training/testing paragraph vectors
📄 A PyTorch implementation of Paragraph Vectors (doc2vec).
State-of-the-Art Text Embeddings
Anonymous repo for USCHunt, a tool for detecting and classifying upgradeable proxy smart contracts, built atop Slither
Confusum Contractum: Confused Deputy Vulnerabilities in Ethereum Smart Contracts
A benchmark suite (under construction) for smart contract vulnerability tools
A symbolic execution engine for EVM smart contract binaries.
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
Code & data for AAAI'23 Oral paper "Heterogeneous Graph Masked Autoencoders".
The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.
Datasets for evaluating smart contract security analysis tools ( continuously updating... )
MambaOut: Do We Really Need Mamba for Vision?
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
A binary lifter and analysis framework for Ethereum smart contracts
WTF Solidity 极简入门教程,供小白们使用。Now supports English! 官网: https://wtf.academy