Researcher at Huawei. Interested in system security, software engineering, opinion generation. Love formal method as an amatuer (for now).
Highlights
- Pro
Popular repositories Loading
-
egalito
egalito PublicForked from columbia/egalito
Self-hosting binary instrumentation framework for security research
C++
-
thayershuffle.github.io
thayershuffle.github.io PublicForked from thayershuffle/thayershuffle.github.io
Make sure you Thayer Shuffle before you shuffle down Thayer! ;)
HTML
-
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
