Rohit Sinha

According to our database, Rohit Sinha authored at least 28 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

SublonK: Sublinear Prover PlonK.

Arka Rai Choudhuri, Sanjam Garg, Aarushi Goel, Sruthi Sekar, Rohit Sinha

Proc. Priv. Enhancing Technol., 2024

Insta-Pok3r: Real-time Poker on Blockchain.

Sanjam Garg, Aniket Kate, Pratyay Mukherjee, Rohit Sinha, Sriram Sridhar

IACR Cryptol. ePrint Arch., 2024

HiSE: Hierarchical (Threshold) Symmetric-key Encryption.

Pousali Dey, Pratyay Mukherjee, Swagata Sasmal, Rohit Sinha

IACR Cryptol. ePrint Arch., 2024

2023

hinTS: Threshold Signatures with Silent Setup.

Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang

IACR Cryptol. ePrint Arch., 2023

How to Design Fair Protocols in the Multi-Blockchain Setting.

Sivanarayana Gaddam, Ranjit Kumaresan, Srinivasan Raghuraman, Rohit Sinha

IACR Cryptol. ePrint Arch., 2023

Threshold Signatures in the Multiverse.

Leemon Baird, Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang

IACR Cryptol. ePrint Arch., 2023

LucidiTEE: Scalable Policy-Based Multiparty Computation with Fairness.

Sivanarayana Gaddam, Ranjit Kumaresan, Srinivasan Raghuraman, Rohit Sinha

Proceedings of the Cryptology and Network Security - 22nd International Conference, 2023

2022

Cryptography with Weights: MPC, Encryption and Signatures.

Sanjam Garg, Abhishek Jain, Pratyay Mukherjee, Rohit Sinha, Mingyuan Wang, Yinuo Zhang

IACR Cryptol. ePrint Arch., 2022

i-TiRE: Incremental Timed-Release Encryption or How to use Timed-Release Encryption on Blockchains?

Leemon Baird, Pratyay Mukherjee, Rohit Sinha

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Reducing HSM Reliance in Payments through Proxy Re-Encryption.

Sivanarayana Gaddam, Atul Luykx, Rohit Sinha, Gaven J. Watson

IACR Cryptol. ePrint Arch., 2021

Amortized Threshold Symmetric-key Encryption.

Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha

IACR Cryptol. ePrint Arch., 2021

TEMP: Time-locked Encryption Made Practical.

Leemon Baird, Pratyay Mukherjee, Rohit Sinha

IACR Cryptol. ePrint Arch., 2021

2020

Verification of Quantitative Hyperproperties Using Trace Enumeration Relations.

Shubham Sahai, Pramod Subramanyan, Rohit Sinha

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

LucidiTEE: Policy-based Fair Computing at Scale.

Rohit Sinha, Sivanarayana Gaddam, Ranjit Kumaresan

IACR Cryptol. ePrint Arch., 2019

2018

VeritasDB: High Throughput Key-Value Store with Integrity.

Rohit Sinha, Mihai Christodorescu

IACR Cryptol. ePrint Arch., 2018

2017

Secure Computing using Certified Software and Trusted Hardware.

Rohit Sinha

PhD thesis, 2017

A Formal Foundation for Secure Remote Execution of Enclaves.

Pramod Subramanyan, Rohit Sinha, Ilia A. Lebedev, Srinivas Devadas, Sanjit A. Seshia

IACR Cryptol. ePrint Arch., 2017

A compiler and verifier for page access oblivious computation.

Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

2016

A design and verification methodology for secure isolated regions.

Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

Moat: Verifying Confidentiality of Enclave Programs.

Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Automatic Rootcausing for Program Equivalence Failures in Binaries.

Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Formal Modeling and Verification of CloudProxy.

Wei Yang Tan, Rohit Sinha, John L. Manferdelli, Sanjit A. Seshia

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

2013

Symbolic software model validation.

Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

2012

synASM: A High-Level Synthesis Framework With Support for Parallel and Timed Constructs.

Rohit Sinha, Hiren D. Patel

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Verification with small and short worlds.

Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Parallel simulation of mixed-abstraction SystemC models on GPUs and multicore CPUs.

Rohit Sinha, Aayush Prakash, Hiren D. Patel

Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2011

Extending Force-Directed Scheduling with Explicit Parallel and Timed Constructs for High-Level Synthesis.

Rohit Sinha, Hiren D. Patel

Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011

Abstract state machines as an intermediate representation for high-level synthesis.

Rohit Sinha, Hiren D. Patel

Proceedings of the Design, Automation and Test in Europe, 2011