Hi! I’m Ziqiao Kong, a 3rd year Ph.D. candidate supervised by Prof. Liu Yang at Nanyang Technological University. I obtained my master degree in computer science from ETH Zurich.
I mainly focus on building useful, practical and secure softwares and you might already use some of them, either directly or indirectly. An incomplete list with Github stars is:
And my research projects:
- Verite: First smart contract profit-centric fuzzer. It can yield 18M profits on previous attacking incidents (some even more optimal than original attacking transactions) and hunt thousands of profitable exploits onchain. As a result, reviewers explicity ask us not to open-source it due to potenial disruption to onchain contracts.
- SAND: Up to 20x speedup for sanitizer invovled fuzzing workflows without missing bugs and find new vulnerabilities on heavily fuzzed open source projects. Merged into AFL++ and LibAFL already.
- Belobog/Movy: First type-guided Move language fuzzing framework that reproduces real-world incidents and generates exploits for millions of dollars.
Checkout my activities at Github or my research profile.
Find me on
,
and
.
