Batching in Cryptography: Constructing Efficient Ciphertexts, Time-Locked Puzzles and Proofs - Garg, Rachit (ProQuest Dissertations and Theses, 2024)