https://zhyfeng.github.io/portfolio/dependency 2022-07-01T00:00:00+00:00 https://zhyfeng.github.io/portfolio/syzdescribe 2023-07-01T00:00:00+00:00 https://zhyfeng.github.io/portfolio/syzspec 2025-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/automated-testing-of-definition-use-data-flow-for-multithreaded-programs 2017-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/debugging-multithreaded-programs-as-if-they-were-sequential 2017-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/ubitect-a-precise-and-scalable-method-to-detect-use-before-initialization-bugs-i 2020-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/concspectre-be-aware-of-forthcoming-malware-hidden-in-concurrent-programs 2021-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/eluding-ml-based-adblockers-with-actionable-adversarial-examples 2021-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/statically-discovering-high-order-taint-style-vulnerabilities-in-os-kernels 2021-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/themis-ambiguity-aware-network-intrusion-detection-based-on-symbolic-model-compa 2021-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/demystifying-the-dependency-challenge-in-kernel-fuzzing 2022-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/progressive-scrutiny-incremental-detection-of-ubi-bugs-in-the-linux-kernel 2022-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/assisting-static-analysis-with-large-language-models-a-chatgpt-experiment 2023-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/syzdescribe-principled-automated-static-generation-of-syscall-descriptions-for-k 2023-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/enhancing-static-analysis-for-practical-bug-detection-an-llm-integrated-approach 2024-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/ev-prompting-large-language-models-to-perform-static-analysis-by-pseudo-code-exe 2024-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/symbisect-accurate-bisection-for-fuzzer-exposed-vulnerabilities 2024-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/syzbridge-bridging-the-gap-in-exploitability-assessment-of-linux-kernel-bugs-in- 2024-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/syzgen-dependency-inference-for-augmenting-kernel-driver-fuzzing 2024-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/scad-towards-a-universal-and-automated-network-side-channel-vulnerability-detect 2025-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/syzspec-specification-generation-for-linux-kernel-fuzzing-via-under-constrained- 2025-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/neuromerge-ml-guided-state-merging-for-efficient-symbolic-execution 2026-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/concspectre-be-aware-of-forthcoming-malware-hidden-in-concurrent-programs 2099-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/debugging-multithreaded-programs-as-if-they-were-sequential 2099-07-01T00:00:00+00:00 https://zhyfeng.github.io/publication/tell-you-a-definite-answer-whether-your-data-is-tainted-during-thread-scheduling 2099-07-01T00:00:00+00:00 https://zhyfeng.github.io/talks/dependency-icse22 2022-05-22T00:00:00+00:00 https://zhyfeng.github.io/talks/syzdescribe-qualcomm23 2023-04-01T00:00:00+00:00 https://zhyfeng.github.io/talks/syzdescribe-lssna23 2023-05-10T00:00:00+00:00 https://zhyfeng.github.io/talks/syzdescribe-sp23 2023-05-22T00:00:00+00:00 https://zhyfeng.github.io/talks/ev-sos24 2024-10-01T00:00:00+00:00 https://zhyfeng.github.io/talks/ev-agi-leap-summit24 2024-11-01T00:00:00+00:00 https://zhyfeng.github.io/talks/syzspec-ccs25 2025-10-13T00:00:00+00:00 https://zhyfeng.github.io/ https://zhyfeng.github.io/archive-layout-with-content/ https://zhyfeng.github.io/categories/ https://zhyfeng.github.io/collection-archive/ https://zhyfeng.github.io/cv-cn/ https://zhyfeng.github.io/cv/ https://zhyfeng.github.io/markdown/ https://zhyfeng.github.io/non-menu-page/ https://zhyfeng.github.io/page-archive/ https://zhyfeng.github.io/portfolio/ https://zhyfeng.github.io/publications/ https://zhyfeng.github.io/sitemap/ https://zhyfeng.github.io/tags/ https://zhyfeng.github.io/talkmap.html https://zhyfeng.github.io/talks/ https://zhyfeng.github.io/teaching/ https://zhyfeng.github.io/terms/ https://zhyfeng.github.io/year-archive/ https://zhyfeng.github.io/markdown_generator/ https://zhyfeng.github.io/files/acsac21_adblock_AML.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/ccs21_static_high_order.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/ccs21_themis.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/ccs25_syzspec.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/cv-cn.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/cv.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/fse20_UBITect.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/fseivr23_static_chatgpt.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/icse22_dependency_measurement.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/ndss22_incremental_analysis.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/ndss24_syzbridge.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/oakland23_syzdescribe.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/oakland24_syzgenplusplus.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/oakland25_side_channel_discovery.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/oopsla24_llift.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/files/sec24_symbisect.pdf 2026-07-30T08:54:13+00:00 https://zhyfeng.github.io/talkmap/map.html 2026-07-30T08:54:13+00:00