brokendragon / Ethereum_Graph_Analysis
☆58Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Ethereum_Graph_Analysis
- OHIE - Blockchain scaling☆34Updated 3 years ago
- ☆58Updated last year
- Xscope: Hunting for Cross-Chain Bridge Attacks☆12Updated 2 years ago
- A curated list of academic blockchain-related papers☆121Updated 11 months ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆81Updated 10 months ago
- This is the repository to host the code for hslang parsing and code generation.☆20Updated 2 years ago
- Source code for the SIGMOD20 paper "vChain: A Blockchain System Ensuring Query Integrity"☆24Updated 3 years ago
- Source code for the ICDE 2023 paper "Scaling Blockchain Consensus via a Robust Shared Mempool"☆26Updated 2 years ago
- Making Smart Contract Development More Secure and Easier☆22Updated 2 years ago
- SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…☆22Updated 3 years ago
- A control-flow graph builder for Solidity smart contracts.☆26Updated 4 years ago
- ☆21Updated 4 years ago
- ☆38Updated 2 years ago
- MSc Project☆32Updated 5 years ago
- ☆62Updated 3 years ago
- Confidentiality-Preserving Smart Contract Platform☆21Updated 4 years ago
- Ethereum based smart contract vulnerability checklist （关于区块链以太坊安全类问题）☆30Updated 5 years ago
- This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …☆67Updated 4 years ago
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆51Updated 5 years ago
- Learn and share papers about Block Chain☆32Updated 4 years ago
- A unified smart contract standard data set.☆41Updated 3 years ago
- A dynamic checker for the ECF property incorporated into geth☆13Updated 7 years ago
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆29Updated last year
- Source code for the VLDB21 paper "SlimChain: Scaling Blockchain Transactions through Off-Chain Storage and Parallel Processing"☆44Updated 2 years ago
- ☆30Updated last year
- ☆26Updated 3 years ago
- Extracting and Exploring Blockchain Data from Ethereum☆52Updated 2 weeks ago
- A framework for high-level Analysis of Ethereum Bytecode☆15Updated 2 weeks ago
- 浙江大学incas实验室-区块链顶会论文展示☆46Updated last year