brokendragon / Ethereum_Graph_Analysis
☆58Updated 6 years ago
Alternatives and similar repositories for Ethereum_Graph_Analysis:
Users that are interested in Ethereum_Graph_Analysis are comparing it to the libraries listed below
- A control-flow graph builder for Solidity smart contracts.☆26Updated 5 years ago
- A framework for high-level Analysis of Ethereum Bytecode☆19Updated 2 weeks ago
- This is the repository to host the code for hslang parsing and code generation.☆21Updated 2 years ago
- OHIE - Blockchain scaling☆34Updated 4 years ago
- Extracting and Exploring Blockchain Data from Ethereum☆62Updated 2 weeks ago
- MSc Project☆34Updated 5 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆83Updated last year
- Source code for the SIGMOD20 paper "vChain: A Blockchain System Ensuring Query Integrity"☆25Updated 3 years ago
- Xscope: Hunting for Cross-Chain Bridge Attacks☆13Updated 2 years ago
- Making Smart Contract Development More Secure and Easier☆22Updated 2 years ago
- ☆28Updated last month
- A unified smart contract standard data set.☆43Updated 3 years ago
- ☆59Updated 2 years ago
- Static program analysis framework for Ethereum smart contract bytecode.☆162Updated 3 years ago
- Profiling and Deanonymizing Ethereum Users☆72Updated 3 years ago
- Source code for the ICDE 2023 paper "Scaling Blockchain Consensus via a Robust Shared Mempool"☆27Updated 2 years ago
- ☆23Updated 5 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆54Updated 5 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 …☆71Updated 4 years ago
- A curated list of academic blockchain-related papers☆123Updated 2 months ago
- A dynamic checker for the ECF property incorporated into geth☆14Updated 7 years ago
- Confidentiality-Preserving Smart Contract Platform☆21Updated 4 years ago
- Source code for the VLDB21 paper "SlimChain: Scaling Blockchain Transactions through Off-Chain Storage and Parallel Processing"☆45Updated 3 years ago
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆30Updated 2 years ago
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- Smart contract vulnerability detection using graph neural network (DR-GCN).☆148Updated last year
- ☆12Updated last year
- ☆20Updated 9 years ago
- SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…☆23Updated 3 years ago