Pinned Repositories
Binary-code-similarity-demo
Personal implementation of the paper Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs, NDSS2019, and application to IoT firmware.
CG-demo
very small demo in cg course
CVE-collected
some interesting cve about IoT firmware
ibc
Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.
ibc-go
Interblockchain Communication Protocol (IBC) implementation in Golang.
IBC-TLA
Public code of our formal analysis of IBC protocol
laravel-demo
A simple personal blog using laravel framework
Paper-interested
Fomal Analysis, Smart Contract, IoT Security and something interesting
Rust-demo
Rewrite a tiny c library using Rust as course project
yui-ibc-solidity
IBC in Solidity
michwqy's Repositories
michwqy/IBC-TLA
Public code of our formal analysis of IBC protocol
michwqy/Binary-code-similarity-demo
Personal implementation of the paper Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs, NDSS2019, and application to IoT firmware.
michwqy/Paper-interested
Fomal Analysis, Smart Contract, IoT Security and something interesting
michwqy/CG-demo
very small demo in cg course
michwqy/CVE-collected
some interesting cve about IoT firmware
michwqy/ibc
Interchain Standards (ICS) for the Cosmos network & interchain ecosystem.
michwqy/ibc-go
Interblockchain Communication Protocol (IBC) implementation in Golang.
michwqy/laravel-demo
A simple personal blog using laravel framework
michwqy/Rust-demo
Rewrite a tiny c library using Rust as course project
michwqy/yui-ibc-solidity
IBC in Solidity
michwqy/Mars
michwqy/openbilibili
https://github.com/openbilibili/go-common 备份（反正是啥咱也不知道，咱也不敢问）
michwqy/openbilibili-backup
bilibili的后端代码