Login / Signup
Shravan Srinivasan
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 8
Top Topics
Expert Systems
Formal Proofs
Sparse Matrix
Crossword Puzzles
Top Venues
IACR Cryptol. ePrint Arch.
e-Energy
USENIX Security Symposium
Public Key Cryptography (1)
</>
Publications
</>
Charalampos Papamanthou
,
Shravan Srinivasan
,
Nicolas Gailly
,
Ismael Hishon-Rezaizadeh
,
Andrus Salumets
,
Stjepan Golemac
Reckle Trees: Updatable Merkle Batch Proofs with Applications.
IACR Cryptol. ePrint Arch.
2024 (2024)
Shravan Srinivasan
,
Julian Loss
,
Giulio Malavolta
,
Kartik Nayak
,
Charalampos Papamanthou
,
Sri Aravinda Krishnan Thyagarajan
Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus.
Public Key Cryptography (1)
(2023)
Shravan Srinivasan
,
Alexander Chepurnoy
,
Charalampos Papamanthou
,
Alin Tomescu
,
Yupeng Zhang
Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments.
USENIX Security Symposium
(2022)
Shravan Srinivasan
,
Julian Loss
,
Giulio Malavolta
,
Kartik Nayak
,
Charalampos Papamanthou
,
Sri Aravinda Krishnan Thyagarajan
Transparent Batchable Time-lock Puzzles and Applications to Byzantine Consensus.
IACR Cryptol. ePrint Arch.
2022 (2022)
Shravan Srinivasan
,
Ioanna Karantaidou
,
Foteini Baldimtsi
,
Charalampos Papamanthou
Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators.
CCS
(2022)
Shravan Srinivasan
,
Ioanna Karantaidou
,
Foteini Baldimtsi
,
Charalampos Papamanthou
Batching, Aggregation, and Zero-Knowledge Proofs in Bilinear Accumulators.
IACR Cryptol. ePrint Arch.
2022 (2022)
Shravan Srinivasan
,
Alexander Chepurnoy
,
Charalampos Papamanthou
,
Alin Tomescu
,
Yupeng Zhang
Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments.
IACR Cryptol. ePrint Arch.
2021 (2021)
Shravan Srinivasan
,
Arunchandar Vasan
,
Venkatesh Sarangan
,
Anand Sivasubramaniam
Bugs in the Freezer: Detecting Faults in Supermarket Refrigeration Systems Using Energy Signals.
e-Energy
(2015)