A generalization of CHSH and the algebraic structure of optimal strategies. - David Cui; Arthur Mehta; Hamoon Mousavi; Seyed Sajjad Nezhadi (Quantum, 2020)

Certified Randomness implies Secure Classical Position-Verification. - Omar Amer; Kaushik Chakraborty; David Cui; Fatih Kaleoglu; Charles Lim; Minzhao Liu; Marco Pistoia (IACR Cryptol. ePrint Arch., 2024)

A Computational Tsirelson's Theorem for the Value of Compiled XOR Games. - David Cui; Giulio Malavolta; Arthur Mehta; Anand Natarajan 001; Connor Paddock; Simon Schmidt; Michael Walter 005; Tina Zhang (IACR Cryptol. ePrint Arch., 2024)