Shravan Srinivasan

publications

1. CCS ’24

   Reckle Trees: Updatable Merkle Batch Proofs with Applications

   Charalampos Papamanthou,  Shravan Srinivasan, Nicolas Gailly, Ismael Hishon-Rezaizadeh, Andrus Salumets,  and Stjepan Golemac

   In ACM CCS 2024 (To appear)

   Bib HTML Code talk

   @inproceedings{PSG+24,
     address = {New York, NY, USA},
     author = {Papamanthou, Charalampos and Srinivasan, Shravan and Gailly, Nicolas and Hishon-Rezaizadeh, Ismael and Salumets, Andrus and Golemac, Stjepan},
     booktitle = {(To Appear) Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security},
     location = {Salt Lake City, UT, USA},
     publisher = {Association for Computing Machinery},
     series = {CCS '24},
     title = {{Reckle Trees: Updatable Merkle Batch Proofs with Applications}},
     year = {2024},
   }

2. PKC ’23

   Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus

   Shravan Srinivasan, Julian Loss, Giulio Malavolta, Kartik Nayak, Charalampos Papamanthou,  and Sri AravindaKrishnan Thyagarajan

   In PKC 2023

   Bib HTML Slides talk

   @inproceedings{SLM+23,
     address = {Cham},
     author = {Srinivasan, Shravan and Loss, Julian and Malavolta, Giulio and Nayak, Kartik and Papamanthou, Charalampos and Thyagarajan, Sri AravindaKrishnan},
     booktitle = {Public-Key Cryptography -- PKC 2023},
     editor = {Boldyreva, Alexandra and Kolesnikov, Vladimir},
     isbn = {978-3-031-31368-4},
     pages = {554--584},
     publisher = {Springer Nature Switzerland},
     title = {{Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus}},
     year = {2023},
     url = {https://eprint.iacr.org/2022/1421},
     note = {\url{https://eprint.iacr.org/2022/1421}},
   }

3. CCS ’22

   Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators

   Shravan Srinivasan, Ioanna Karantaidou, Foteini Baldimtsi,  and Charalampos Papamanthou

   In ACM CCS 2022

   Bib HTML Code

   @inproceedings{SKBP22,
     address = {New York, NY, USA},
     author = {Srinivasan, Shravan and Karantaidou, Ioanna and Baldimtsi, Foteini and Papamanthou, Charalampos},
     booktitle = {Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security},
     doi = {10.1145/3548606.3560676},
     isbn = {9781450394505},
     keywords = {proof aggregation, zero-knowledge, accumulators, bilinear pairings},
     location = {Los Angeles, CA, USA},
     numpages = {15},
     pages = {2719--2733},
     publisher = {Association for Computing Machinery},
     series = {CCS '22},
     title = {{Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators}},
     url = {https://doi.org/10.1145/3548606.3560676},
     year = {2022},
   }

4. USENIX ’22

   Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments

   Shravan Srinivasan, Alex Chepurnoy, Charalampos Papamanthou, Alin Tomescu,  and Yupeng Zhang

   In USENIX Security 2022

   Bib HTML Code Slides talk

   @inproceedings{SCP+22,
     author = {Srinivasan, Shravan and Chepurnoy, Alex and Papamanthou, Charalampos and Tomescu, Alin and Zhang, Yupeng},
     booktitle = {31th {USENIX} Security Symposium ({USENIX} Security 22)},
     location = {Boston, MA},
     month = aug,
     publisher = {{USENIX} Association},
     title = {{Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments}},
     url = {https://www.usenix.org/conference/usenixsecurity22/presentation/srinivasan},
     year = {2022},
   }

5. ePrint

   Edrax: A Cryptocurrency with Stateless Transaction Validation

   Alexander Chepurnoy, Charalampos Papamanthou,  Shravan Srinivasan, Alin Tomescu,  and Yupeng Zhang

   May 2020

   HTML
6. e-Energy ’15

   Bugs in the Freezer: Detecting Faults in Supermarket Refrigeration Systems Using Energy Signals

   Shravan Srinivasan, Arunchandar Vasan, Venkatesh Sarangan,  and Anand Sivasubramaniam

   In ACM e-Energy 2015

   Bib HTML PDF

   @inproceedings{SVSS15,
     author = {Srinivasan, Shravan and Vasan, Arunchandar and Sarangan, Venkatesh and Sivasubramaniam, Anand},
     title = {Bugs in the Freezer: Detecting Faults in Supermarket Refrigeration Systems Using Energy Signals},
     booktitle = {Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems},
     series = {e-Energy '15},
     year = {2015},
     month = jul,
     isbn = {978-1-4503-3609-3},
     location = {Bangalore, India},
     pages = {101--110},
     numpages = {10},
     url = {http://doi.acm.org/10.1145/2768510.2768536},
     doi = {10.1145/2768510.2768536},
     acmid = {2768536},
     publisher = {ACM},
     address = {New York, NY, USA},
     keywords = {anomaly detection, energy, refrigeration, root-cause analysis},
   }