Pinned Loading

1. Paper-interested Paper-interested Public

   Fomal Analysis, Smart Contract, IoT Security and something interesting

   3

2. Binary-code-similarity-demo Binary-code-similarity-demo Public

   Personal implementation of the paper Neural Machine Translation Inspired Binary Code Similarity Comparison beyond Function Pairs, NDSS2019, and application to IoT firmware.

   Assembly 3

3. CG-demo CG-demo Public

   very small demo in cg course

   C

4. CVE-collected CVE-collected Public

   some interesting cve about IoT firmware

5. IBC-TLA IBC-TLA Public

   Public code of our formal analysis of IBC protocol

   TLA 7

6. Rust-demo Rust-demo Public

   Rewrite a tiny c library using Rust as course project

   Rust