Lalita Devadas Abhishek Jain 0002 Brent Waters David J. Wu 0001 Succinct Witness Encryption for Batch Languages and Applications. 130-162 2025 ASIACRYPT (8) https://doi.org/10.1007/978-981-95-5125-5_5 conf/asiacrypt/2025-8 db/conf/asiacrypt/asiacrypt2025-8.html#DevadasJWW25 streams/conf/asiacrypt