Rohit Sinha

Research Interests

I build things. Here are my recent publications.

Publications

1. Amortized Threshold Symmetric-key Encryption (CCS 2021)
   

2. Reducing HSM Reliance in Payments through Proxy Re-Encryption (USENIX Security 2021)
   

3. Verification of Quantitative Hyperproperties Using Trace Enumeration Relations (CAV 2020)
   

4. A Formal Foundation for Secure Remote Execution of Enclaves (CCS 2017 - Best Paper Award)
   

5. A Compiler and Verifier for Page Access Oblivious Computation (FSE 2017)
   

6. A Design and Verification Methodology for Secure Isolated Regions (PLDI 2016)
   [slides] [tool]

7. Moat: Verifying Confidentiality Properties of Enclave Programs (CCS 2015)
   [slides]

8. Automatic Rootcausing for Program Equivalence Failures (CAV 2015)
   [slides]

9. Formal Modeling and Verification of CloudProxy (VSTTE 2014)

10. Symbolic Software Model Validation (MEMOCODE 2013)
    [slides]

11. Verification with Small and Short Worlds (FMCAD 2012)
    [slides]

My undergraduate research in design automation resulted in the following publications:

1. Parallel Simulation of Mixed-abstraction SystemC Models on GPUs and Multicore CPUs (ASPDAC 2012)

2. Abstract State Machines as an Intermediate Representation for High-level Synthesis (DATE 2011)