Hi! I’m Ziqiao Kong, a 2nd year Ph.D. student 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.
Checkout my activities at Github or my research profile.
Find me on
,
and
.