ZJU-INCAS / Reports

Related projects ⓘ

Alternatives and complementary repositories for Reports

• Shouling / SANDP
  Seminar 2016
  ☆25Updated 2 months ago
• ZJU-INCAS / LearnPaper
  Learn and share papers about Block Chain
  ☆32Updated 4 years ago
• abcdabcd987 / distributed-consensus-simulator
  ☆14Updated 7 years ago
• eth-sri / verx-benchmarks
  ☆20Updated 4 years ago
• Dearkano / Blockchain
  Papers & instructions on learning blockchain
  ☆17Updated 6 years ago
• vntchain / go-vnt
  An open source distributed value network
  ☆52Updated 4 years ago
• brokendragon / Ethereum_Graph_Analysis
  ☆58Updated 6 years ago
• Lianantech / ETH-Security
  Ethereum based smart contract vulnerability checklist （关于区块链以太坊安全类问题）
  ☆30Updated 5 years ago
• FISCO-BCOS / SCStudio
  Making Smart Contract Development More Secure and Easier
  ☆22Updated 2 years ago
• shaunazzopardi / solidity-cfg-builder
  A control-flow graph builder for Solidity smart contracts.
  ☆26Updated 4 years ago
• ivicanikolicsg / OHIE
  OHIE - Blockchain scaling
  ☆34Updated 3 years ago
• shellygr / ECFChecker
  A dynamic checker for the ECF property incorporated into geth
  ☆13Updated 7 years ago
• sec-bit / libsnark_abc
  Minimal examples to use libsnark.
  ☆21Updated 4 years ago
• gongbell / WANA
  A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector
  ☆29Updated last year
• OSUSecLab / TxSpector
  ☆58Updated last year
• HyperService-Consortium / HyperService-Language
  This is the repository to host the code for hslang parsing and code generation.
  ☆20Updated 2 years ago
• renardbebe / Smart-Contract-Benchmark-Suites
  A unified smart contract standard data set.
  ☆41Updated 3 years ago
• shenqili / Yishuwang
  易书网——二手书app
  ☆11Updated 7 years ago
• disco-project / smart-sync
  Smart Sync enables the creation of smart contract forks and verifiable synchronization across EVM-compatible blockchain networks.
  ☆12Updated last year
• Xscope-Tool / Cross-Chain-Attacks
  Xscope: Hunting for Cross-Chain Bridge Attacks
  ☆12Updated 2 years ago
• gsoc-cn / hyperledger-mentor-program
  Hyperledger Mentor Program 中文相关资料
  ☆8Updated 4 years ago
• pandabox-dev / SODA
  ☆30Updated last year
• tinychain / go-algorand
  Go implementation of Algorand algorithm.
  ☆28Updated 5 years ago
• sec-bit / tokenlibs-with-proofs
  Correctness proofs of Ethereum token contracts
  ☆98Updated 5 years ago
• xf97 / SolidityCheck
  SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…
  ☆23Updated 3 years ago
• Jiachi-Chen / DefectChecker
  ☆26Updated 3 years ago
• blockchainGuide / zkp_tech
  零知识证明
  ☆17Updated last year
• meshplus / goduck
  Goduck is a command-line management tool that can help to run BitXHub.
  ☆19Updated last year
• Messi-Q / RNVulDet
  Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)
  ☆22Updated 2 years ago