6 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.SE2023★ 1 cited
A General Static Binary Rewriting Framework for WebAssembly
Shangtong Cao, Ningyu He, Yao Guo +1
Binary rewriting is a widely adopted technique in software analysis. WebAssembly (Wasm), as an emerging bytecode format, has attracted great attention from our community. Unfortuna…
cs.CR2023
Fuzzing the Latest NTFS in Linux with Papora: An Empirical Study
Edward Lo, Ningyu He, Yuejie Shi +4
Recently, the first feature-rich NTFS implementation, NTFS3, has been upstreamed to Linux. Although ensuring the security of NTFS3 is essential for the future of Linux, it remains…
cs.CR2022★ 6 cited
A Survey on EOSIO Systems Security: Vulnerability, Attack, and Mitigation
Ningyu He, Haoyu Wang, Lei Wu +3
EOSIO, as one of the most representative blockchain 3.0 platforms, involves lots of new features, e.g., delegated proof of stake consensus algorithm and updatable smart contracts,…