Name: Boqin Qin(秦 伯钦)
Type: User
Bio: I received my B.S. and Ph.D. in BUPT, China. I was a visiting scholar in PennState, US, 2018-2019. Interested in program analysis and blockchain security.
Location: Haidian District, Beijing
Blog: burtonqin.github.io
Boqin Qin(秦 伯钦)'s Projects
shadowVPN
The IP of the servers in campus network keeps changing due to DHCP, thus I build a local DNS relay server without bothering with the DynDNS.
Covert channel sobre SNMP
Solang LLVM bitcode analysis passes
Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
🦔 Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
Stuck-me-not: A deadlock detector on blockchain software in Rust
Substrate: The platform for blockchain innovators
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
A system for automated discovery of congestion control attacks on TCP implementations
Memo for daily computer work
Distributed transactional key-value database, originally created to complement TiDB
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Application level tracing for Rust.
A Rust based DNS client, server, and resolver
Visualize Rust Lifetime
The backend of VRLifetime, a plugin to visualize the lifetime of objects and assist in bug finding in VSCode for Rust
Dev version of VRLifetime, An VS Code plugin to visualize lifetime in Rust programs to help avoid concurrency and memory bugs.
🚀 The Universal WebAssembly Runtime supporting WASI and Emscripten
Window handling library in pure Rust
Multiplexer over reliable, ordered connections.
有道词典 linux 客户端 in python
Network Attack Tool
Reimplement Zircon microkernel in Rust.
zkSync: trustless scaling and privacy engine for Ethereum