An Electric Vehicle Charging Reservation Approach Based on Blockchain. - Sheng Cao; Sixuan Dang; Xiaojiang Du; Mohsen Guizani; Xiaosong Zhang 001; Xiaoming Huang (GLOBECOM, 2020)

Regulation-as-a-Service: Model Checking for Decision-Making Behaviors in Price-Sensitive Service Systems. - Sixuan Dang; Sheng Cao (SCC, 2021)

A blockchain-based access control and intrusion detection framework for satellite communication systems. - Sheng Cao; Sixuan Dang; Yuan Zhang 006; Wei Wang 100; Nan Cheng (Comput. Commun., 2021)

A Behavior-Aware Scheme for Personalized Credit Computing. - Sixuan Dang; Sheng Cao (CSCWD, 2022)

Dynamic incentive mechanism design for regulation-aware systems. - Sixuan Dang; Sheng Cao; Jingwei Li 001; Xiaosong Zhang 001 (Int. J. Intell. Syst., 2022)

{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming. - Quan Zhou; Sixuan Dang; Danfeng Zhang (ECOOP, 2024)

CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact). - Quan Zhou; Sixuan Dang; Danfeng Zhang (Dagstuhl Artifacts Ser., 2024)