Rohit Sinha

41 papers A* 8A 1B 2C 1Misc 1Journal 20Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Cryptographic Framework for Proof of Personhood.
IACR Cryptol. ePrint Arch.
Arka Rai Choudhuri, Sanjam Garg, Keewoo Lee, Hart Montgomery, Guru-Vamsi Policharla, Rohit Sinha
2025 J jnl
HiSE: Hierarchical (Threshold) Symmetric-key Encryption.
IACR Commun. Cryptol.
Pousali Dey, Pratyay Mukherjee, Swagata Sasmal, Rohit Sinha
2025 J jnl
Jigsaw: Doubly Private Smart Contracts.
IACR Cryptol. ePrint Arch.
Sanjam Garg, Aarushi Goel, Dimitris Kolonelos, Rohit Sinha
2025 — conf
Split Prover Zero-Knowledge SNARKs.
PKC (1)
Sanjam Garg, Aarushi Goel, Dimitris Kolonelos, Sina Shiehian, Rohit Sinha
2025 J jnl
Split Prover Zero-Knowledge SNARKs.
IACR Cryptol. ePrint Arch.
Sanjam Garg, Aarushi Goel, Dimitris Kolonelos, Sina Shiehian, Rohit Sinha
2024 J jnl
HiSE: Hierarchical (Threshold) Symmetric-key Encryption.
IACR Cryptol. ePrint Arch.
Pousali Dey, Pratyay Mukherjee, Swagata Sasmal, Rohit Sinha
2024 J jnl
Insta-Pok3r: Real-time Poker on Blockchain.
IACR Cryptol. ePrint Arch.
Sanjam Garg, Aniket Kate, Pratyay Mukherjee, Rohit Sinha, Sriram Sridhar
2024 J jnl
SublonK: Sublinear Prover PlonK.
Proc. Priv. Enhancing Technol.
Arka Rai Choudhuri, Sanjam Garg, Aarushi Goel, Sruthi Sekar, Rohit Sinha
2024 A* conf
hinTS: Threshold Signatures with Silent Setup.
SP
Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
2023 — conf
Cryptography with Weights: MPC, Encryption and Signatures.
CRYPTO (1)
Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
2023 J jnl
How to Design Fair Protocols in the Multi-Blockchain Setting.
IACR Cryptol. ePrint Arch.
Sivanarayana Gaddam, Ranjit Kumaresan, Srinivasan Raghuraman, Rohit Sinha
2023 B conf
LucidiTEE: Scalable Policy-Based Multiparty Computation with Fairness.
CANS
Sivanarayana Gaddam, Ranjit Kumaresan, Srinivasan Raghuraman, Rohit Sinha
2023 J jnl
SublonK: Sublinear Prover PlonK.
IACR Cryptol. ePrint Arch.
Arka Rai Choudhuri, Sanjam Garg, Aarushi Goel, Sruthi Sekar, Rohit Sinha
2023 A* conf
Threshold Signatures in the Multiverse.
SP
Leemon Baird, Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
2023 J jnl
Threshold Signatures in the Multiverse.
IACR Cryptol. ePrint Arch.
Leemon Baird, Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
2023 J jnl
hinTS: Threshold Signatures with Silent Setup.
IACR Cryptol. ePrint Arch.
Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
2022 J jnl
Cryptography with Weights: MPC, Encryption and Signatures.
IACR Cryptol. ePrint Arch.
Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang
2022 A* conf
i-TiRE: Incremental Timed-Release Encryption or How to use Timed-Release Encryption on Blockchains?
CCS
Leemon Baird, Pratyay Mukherjee, Rohit Sinha
2021 A* conf
Amortized Threshold Symmetric-key Encryption.
CCS
Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha
2021 J jnl
Amortized Threshold Symmetric-key Encryption.
IACR Cryptol. ePrint Arch.
Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha
2021 A* conf
Reducing HSM Reliance in Payments through Proxy Re-Encryption.
USENIX Security Symposium
Sivanarayana Gaddam, Atul Luykx, Rohit Sinha, Gaven J. Watson
2021 J jnl
Reducing HSM Reliance in Payments through Proxy Re-Encryption.
IACR Cryptol. ePrint Arch.
Sivanarayana Gaddam, Atul Luykx, Rohit Sinha, Gaven J. Watson
2021 J jnl
TEMP: Time-locked Encryption Made Practical.
IACR Cryptol. ePrint Arch.
Leemon Baird, Pratyay Mukherjee, Rohit Sinha
2020 — conf
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations.
CAV (1)
Shubham Sahai, Pramod Subramanyan, Rohit Sinha
2020 J jnl
Verification of Quantitative Hyperproperties Using Trace Enumeration Relations.
CoRR
Shubham Sahai, Rohit Sinha, Pramod Subramanyan
2019 J jnl
LucidiTEE: Policy-based Fair Computing at Scale.
IACR Cryptol. ePrint Arch.
Rohit Sinha, Sivanarayana Gaddam, Ranjit Kumaresan
2018 J jnl
VeritasDB: High Throughput Key-Value Store with Integrity.
IACR Cryptol. ePrint Arch.
Rohit Sinha, Mihai Christodorescu
2017 A* conf
A Formal Foundation for Secure Remote Execution of Enclaves.
CCS
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia
2017 J jnl
A Formal Foundation for Secure Remote Execution of Enclaves.
IACR Cryptol. ePrint Arch.
Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia
2017 — conf
A compiler and verifier for page access oblivious computation.
ESEC/SIGSOFT FSE
Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia
2017 — —
Secure Computing using Certified Software and Trusted Hardware.
Rohit Sinha
2016 A* conf
A design and verification methodology for secure isolated regions.
PLDI
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
2015 — conf
Automatic Rootcausing for Program Equivalence Failures in Binaries.
CAV (1)
Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel
2015 A* conf
Moat: Verifying Confidentiality of Enclave Programs.
CCS
Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
2014 — conf
Formal Modeling and Verification of CloudProxy.
VSTTE
Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia
2013 C conf
Symbolic software model validation.
MEMOCODE
Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
2012 — conf
Parallel simulation of mixed-abstraction SystemC models on GPUs and multicore CPUs.
ASP-DAC
Rohit Sinha, Aayush Prakash, Hiren D. Patel
2012 B conf
Verification with small and short worlds.
FMCAD
Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner
2012 J jnl
synASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Rohit Sinha, Hiren D. Patel
2011 A conf
Abstract state machines as an intermediate representation for high-level synthesis.
DATE
Rohit Sinha, Hiren D. Patel
2011 Misc conf
Extending Force-Directed Scheduling with Explicit Parallel and Timed Constructs for High-Level Synthesis.
FCCM
Rohit Sinha, Hiren D. Patel