Rohit Sinha

发表

A compiler and verifier for page access oblivious computation

Sanjit A. Seshia, Sriram K. Rajamani, Rohit Sinha, 2017, ESEC/SIGSOFT FSE.

Electrocardiogram signal denoising using non-local wavelet transform domain filtering

Prabin Kumar Bora, Rohit Sinha, Santosh Kumar Yadav, 2015, IET Signal Process..

Novel textual features for language modeling of intra-sentential code-switching data

Rohit Sinha, Kunal Dhawan, Sreeram Ganji, 2020, Comput. Speech Lang..

Verification with small and short worlds

Sanjit A. Seshia, David A. Wagner, Cynthia Sturton, 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).

Investigating Target Set Reduction for End-to-End Speech Recognition of Hindi-English Code-Switching Data

Rohit Sinha, Kunal Dhawan, Ganji Sreeram, 2020, 2020 National Conference on Communications (NCC).

Verification of Quantitative Hyperproperties Using Trace Enumeration Relations

Pramod Subramanyan, Rohit Sinha, Shubham Sahai, 2020, CAV.

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

Hiren D. Patel, Rohit Sinha, Rohit Sinha, 2011, 2011 IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines.

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

Hiren D. Patel, Rohit Sinha, Aayush Prakash, 2012, 17th Asia and South Pacific Design Automation Conference.

Information Encoding, Gap Detection and Analysis from 2D LiDAR Data on Android Environment

Abhijit Boruah, Rohit Sinha, Arpan Phukan, 2020 .

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

Hiren D. Patel, Rohit Sinha, 2011, 2011 Design, Automation & Test in Europe.

A design and verification methodology for secure isolated regions

Sanjit A. Seshia, Sriram K. Rajamani, Akash Lal, 2016, PLDI.

VeritasDB: High Throughput Key-Value Store with Integrity

Mihai Christodorescu, Rohit Sinha, Mihai Christodorescu, 2018, IACR Cryptol. ePrint Arch..

Verification of Confidentiality Properties of Enclave Programs

Sanjit A. Seshia, Sriram K. Rajamani, Kapil Vaswani, 2015 .

Formal Modeling and Verification of CloudProxy

Sanjit A. Seshia, John Manferdelli, Rohit Sinha, 2014, VSTTE.

LucidiTEE: Policy-based Fair Computing at Scale

Ranjit Kumaresan, Rohit Sinha, Sivanarayana Gaddam, 2019, IACR Cryptol. ePrint Arch..

Joint Language Identification of Code-Switching Speech using Attention-based E2E Network

Rohit Sinha, Kunal Dhawan, Sreeram Ganji, 2020, 2020 International Conference on Signal Processing and Communications (SPCOM).

A Formal Foundation for Secure Remote Execution of Enclaves

Srinivas Devadas, Sanjit A. Seshia, Pramod Subramanyan, 2017, IACR Cryptol. ePrint Arch..

An Efficient SVD Shrinkage for Rank Estimation

Prabin Kumar Bora, Rohit Sinha, Santosh Kumar Yadav, 2015, IEEE Signal Processing Letters.

Secure Computing using Certified Software and Trusted Hardware

Rohit Sinha, Rohit Sinha, 2017 .

Symbolic software model validation

Sanjit A. Seshia, David A. Wagner, Cynthia Sturton, 2013, 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).

Moat: Verifying Confidentiality of Enclave Programs

Sanjit A. Seshia, Sriram K. Rajamani, Kapil Vaswani, 2015, CCS.

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

Hiren D. Patel, Rohit Sinha, Rohit Sinha, 2012, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Automatic Rootcausing for Program Equivalence Failures in Binaries

Shuvendu K. Lahiri, Chris Hawblitzel, Rohit Sinha, 2015, CAV.

TEMP: Time-locked Encryption Made Practical

Pratyay Mukherjee, Rohit Sinha, Leemon Baird Swirlds, 2021, IACR Cryptol. ePrint Arch..

Amortized Threshold Symmetric-key Encryption

Mihai Christodorescu, Pratyay Mukherjee, Rohit Sinha, 2021, IACR Cryptol. ePrint Arch..

Reducing HSM Reliance in Payments through Proxy Re-Encryption

Gaven J. Watson, Atul Luykx, Rohit Sinha, 2021, IACR Cryptol. ePrint Arch..