Analysis of the 802.11i 4-way handshake. - Changhua He; John C. Mitchell (Workshop on Wireless Security, 2004)

A modular correctness proof of IEEE 802.11i and TLS. - Changhua He; Mukund Sundararajan; Anupam Datta; Ante Derek; John C. Mitchell (CCS, 2005)

Security Analysis and Improvements for IEEE 802.11i. - Changhua He; John C. Mitchell (NDSS, 2005)

GraphTheta: A Distributed Graph Neural Network Learning System With Flexible Training Strategy. - Houyi Li; Yongchao Liu; Yongyong Li; Bin Huang; Peng Zhang; Guowei Zhang; Xintan Zeng; Kefeng Deng; Wenguang Chen; Changhua He (CoRR, 2021)

Maxwell: a hardware and software highly integrated compute-storage system. - Ling Ma; Wei Zhou; Sihai Yao; Hong Huang; Yinsong Xie; Haohao Liu; Changhua He (CoRR, 2021)

Taking the Pulse of Financial Activities with Online Graph Processing. - Xiaowei Zhu 001; Zhisong Fu; Zhenxuan Pan; Jin Jiang; Chuntao Hong; Yongchao Liu; Yang Fang; Wenguang Chen; Changhua He (ACM SIGOPS Oper. Syst. Rev., 2021)

TeGraph: A Novel General-Purpose Temporal Graph Computing Engine. - Chengying Huan; Hang Liu 001; Mengxing Liu; Yongchao Liu; Changhua He; Kang Chen; Jinlei Jiang; Yongwei Wu 001; Shuaiwen Leon Song (ICDE, 2022)

G-Sparse: Compiler-Driven Acceleration for Generalized Sparse Computation for Graph Neural Networks on Modern GPUs. - Yue Jin; Chengying Huan; Heng Zhang 005; Yongchao Liu; Shuaiwen Leon Song; Rui Zhao; Yao Zhang; Changhua He; Wenguang Chen (PACT, 2023)

Interactive Genetic Algorithm for Human-Computer Interface Layout Design System. - Mengyao Yu; Changhua He; Lijun Shi (AISNS, 2023)

TEA: A General-Purpose Temporal Graph Random Walk Engine. - Chengying Huan; Shuaiwen Leon Song; Santosh Pandey; Hang Liu 001; Yongchao Liu; Baptiste Lepers; Changhua He; Kang Chen; Jinlei Jiang; Yongwei Wu 001 (EuroSys, 2023)

The application of visual identity of time-honored Chinese medicine brands based on interpretative phenomenological analysis (IPA). - Mengyao Yu; Lijun Shi; Changhua He (ICAICE, 2023)

A shapelet-based behavioral pattern extraction method for credit risk classification with behavior sparsity. - Lean Yu; Changhua He (Adv. Eng. Informatics, 2023)

Use of Artificial Intelligence in the Personalisation of In-vehicle Interaction Interfaces. - Mengyao Yu; Lijun Shi; Changhua He (CSAIDE, 2024)