messi-q Goto Github PK

gpscvuldetector

Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection (TKDE Accepted)

graphdeesmartcontract

Smart contract vulnerability detection using graph neural network (DR-GCN).

graphfeatureextractor

Extract graph feature using graph message passing network

hadoopcrawler

This is a project about the hadoop crawler.

hidden-markov-model

First order HMM with Viterbi, Forward-Backward and Baum-Welch implementations

ir-fuzz

Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).

messi-q.github.io

Homepage: messi-q.github.io

mufuzz

my-reading-paper

It consists of some paper of different fileds, especially deep learning and blockchain.

nrlpapers

Must-read papers on network representation learning (NRL) / network embedding (NE)

octopus

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

pinyin_demo

一个简单的拼音输入法

python-watermark

The digital watermark for image and pdf.

python_matplotlib

Python with Matplotlib draws commonly charts.

pytorch-extract-feature

There is an image dataSet. We use Pytorch to extract the image features

pytorch-multi-label-classifier

A pytorch implemented classifier for Multiple-Label classification

pytorch-torchtext

In this repo, we use torchtext to process text data. Among them, the data set uses kaggle's "Toxic Review" data set(https://www.kaggle.com/c/jigsaw-toxic-comment-classification-challenge).

rechecker

ReChecker: Towards Automated Reentrancy Detection for Smart Contracts Based on Sequential Models

report-system

A report system for postgraduates

reservation-system

Online ordering system combined with big data statistics

resource-ci

A platform for resource confirmation and infringement tracking is based on react.js and hyperledger farbic.

rnvuldet

Demystifying Random Number in Ethereum Smart Contract: Taxonomy, Vulnerability Identification, and Attack Detection (TSE Accepted)

simple-neural-network

neural-network classifier alogritm

slither

Static Analyzer for Solidity

smart-contract-dataset

Datasets for evaluating smart contract security analysis tools ( continuously updating... )

smart-contract-detection-system

The front-end framework of smart contract vulnerability detection.

smartconrtactgames

smartcontract-hyperledgercomposer

The Smart Contracts based on Hyperledger Composer. Contracts involving rights management

smartcontracts

This is a repository containing smart contracts based on Ethereum and Vntchain.

solc-select

A script to quickly switch between Solidity compiler versions