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
OOPSLA paper and scripts
Scan, index, and archive all of your paper documents
Fast and feature-rich multi-network Ethereum client.
The fast, light, and robust client for the Ethereum mainnet.
TLS/SSL and crypto library
For ubuntu 14.04 and before. Installation/uninstallation, configuration/cancel, start/stop, and test/monitor of all the openstack services
OpenVPN is an open source VPN daemon
Collection of crates used in Parity projects
Experimental blockchain database
A full modbus protocol written in python
Python tools for penetration testers
A permissioned implementation of Ethereum supporting data privacy
A leaky-bucket-as-a-meter rate-limiting implementation in Rust
Rayon: A data parallelism library for Rust
A Static Bug Detector for Rust Programs
Mirror of https://gitlab.redox-os.org/redox-os/redox
RIOT - The friendly OS for IoT
Rust Memory Safety & Undefined Behavior Detection
Empowering everyone to build reliable and efficient software.
detect rust bugs
Rust library for opening and working with dynamic link libraries.
Rust static detector
understanding the safety of Rust
Statically detect Rust bugs
Rust MIR Pass
The toolbox of open source scanners - 安全行业从业者自研开源扫描器合辑
信息安全从业者书单推荐
libev port of ShadowsocksR