Single-server Stateful PIR with Verifiability and Balanced Efficiency. - Pranav Shriram Arunachalaramanan; Ling Ren 001 (IACR Cryptol. ePrint Arch., 2025)