Shravan Srinivasan

I am an Applied Cryptography Researcher at Lagrange Labs.

I earned my Ph.D. in Computer Science from the University of Maryland, where I worked with Prof. Charalampos (Babis) Papamanthou.

publications

ePrint

Dynamic zk-SNARKs (with applications to sparse zk-SNARKs and IVC)

Weijie Wang, Charalampos Papamanthou, Shravan Srinivasan, and Dimitrios Papadopoulos

2024

Bib HTML

@misc{WPSD24,
  author = {Wang, Weijie and Papamanthou, Charalampos and Srinivasan, Shravan and Papadopoulos, Dimitrios},
  title = {Dynamic zk-{SNARKs} (with applications to sparse zk-{SNARKs} and {IVC})},
  howpublished = {Cryptology {ePrint} Archive, Paper 2024/1566},
  year = {2024},
  url = {https://eprint.iacr.org/2024/1566},
}

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 Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security, Salt Lake City, UT, USA, 2024

DOI Bib HTML Code

@inproceedings{PSG+24,
  author = {Papamanthou, Charalampos and Srinivasan, Shravan and Gailly, Nicolas and Hishon-Rezaizadeh, Ismael and Salumets, Andrus and Golemac, Stjepan},
  title = {Reckle Trees: Updatable Merkle Batch Proofs with Applications},
  year = {2024},
  url = {https://doi.org/10.1145/3658644.3670354},
  booktitle = {Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security},
  location = {Salt Lake City, UT, USA},
  series = {CCS '24},
  doi = {10.1145/3658644.3670354},
}

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 Public-Key Cryptography – PKC 2023, 2023

Bib HTML Slides

@inproceedings{SLM+23,
  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},
  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}},
}

CCS ’22

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

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

In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Los Angeles, CA, USA, 2022

DOI 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},
}

USENIX ’22

Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments

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

In 31th USENIX Security Symposium (USENIX Security 22), Boston, MA, Aug 2022

Bib HTML Code Slides

@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},
}

ePrint

Edrax: A Cryptocurrency with Stateless Transaction Validation

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

May 2020

HTML

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 Proceedings of the 2015 ACM Sixth International Conference on Future Energy Systems, Bangalore, India, Jul 2015

DOI 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},
}