Rohit Sinha

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 25

Top Venues

IACR Cryptol. ePrint Arch.

CCS

CoRR

CAV (1)

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

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

Rohit Sinha.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rohit Sinha