Anran Cui

According to our database, Anran Cui authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop.

Xin Sun, Xingchi Su, Xiaoning Bian, Anran Cui

CoRR, 2024

2023

A Practical Multi-candidate Voting Protocol on Quantum Blockchain Adapted for Various Tally Principles.

Xin Sun, Anran Cui, Hui Chen, Xingchi Su

Proceedings of the Information Security and Cryptology - 19th International Conference, 2023