Bugs in the Freezer: Detecting Faults in Supermarket Refrigeration Systems Using Energy Signals. - Shravan Srinivasan; Arunchandar Vasan 001; Venkatesh Sarangan; Anand Sivasubramaniam (e-Energy, 2015)

Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments. - Shravan Srinivasan; Alexander Chepurnoy; Charalampos Papamanthou; Alin Tomescu; Yupeng Zhang 001 (IACR Cryptol. ePrint Arch., 2021)

Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators. - Shravan Srinivasan; Ioanna Karantaidou; Foteini Baldimtsi; Charalampos Papamanthou (IACR Cryptol. ePrint Arch., 2022)

Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus. - Shravan Srinivasan; Julian Loss; Giulio Malavolta; Kartik Nayak; Charalampos Papamanthou; Sri Aravinda Krishnan Thyagarajan (IACR Cryptol. ePrint Arch., 2022)

Data Structures and Protocols for Scalability and Security of Distributed Consensus. - Shravan Srinivasan (2023)

Reckle Trees: Updatable Merkle Batch Proofs with Applications. - Charalampos Papamanthou; Shravan Srinivasan; Nicolas Gailly; Ismael Hishon-Rezaizadeh; Andrus Salumets; Stjepan Golemac (IACR Cryptol. ePrint Arch., 2024)

Dynamic zk-SNARKs. - Weijie Wang; Charalampos Papamanthou; Shravan Srinivasan; Dimitrios Papadopoulos 001 (IACR Cryptol. ePrint Arch., 2024)