A Practical Multi-candidate Voting Protocol on Quantum Blockchain Adapted for Various Tally Principles. - Xin Sun; Anran Cui; Hui Chen; Xingchi Su (Inscrypt (2), 2023)

An Assertion-Based Logic for Local Reasoning about Probabilistic Programs. - Huiling Wu; Anran Cui; Yuxin Deng (SETTA, 2024)

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop. - Xin Sun; Xingchi Su; Xiaoning Bian; Anran Cui (CoRR, 2024)