[ Paper ] The paper “VeriSimplePIR: Verifiability in SimplePIR at No Online Cost for Honest Servers” is accepted to USENIX Security 2024.