All Stories

  1. SPECTRA: Specification-Oriented Static Analysis for Smart Contract Security and Behavioral Contract Inference

    Article • July 2026, ACM (Association for Computing Machinery)

    Wenkang Zhong, tianfeng Liang

  2. WasmCert: A Reproducible Hybrid Security Analysis Prototype for WebAssembly

    Article • July 2026, ACM (Association for Computing Machinery)

    Wenkang Zhong, tianfeng Liang

  3. ConstantGuard: Lattice-Based Taint Analysis for Timing Side-Channel Risk Detection in C Code

    Article • July 2026, ACM (Association for Computing Machinery)

    Wenkang Zhong, tianfeng Liang