Satisfiable Private build

Research

Selected papers in formal verification and cryptography.

Formal verification

  1. 2020 · CAV
    Verification of Quantitative Hyperproperties Using Trace Enumeration Relations

    Shubham Sahai, Rohit Sinha, Pramod Subramanyan

    Read on arXiv
  2. 2017 · CCS · Best Paper Award
    A Formal Foundation for Secure Remote Execution of Enclaves

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

    Read on IACR ePrint
  3. 2016 · PLDI
    A Design and Verification Methodology for Secure Isolated Regions

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

    Read at Microsoft Research
  4. 2015 · CAV
    Automatic Rootcausing for Program Equivalence Failures in Binaries

    Shuvendu K. Lahiri, Rohit Sinha, Chris Hawblitzel

    Read at Microsoft Research

Cryptography

  1. 2021 · CCS
    Amortized Threshold Symmetric-key Encryption

    Mihai Christodorescu, Sivanarayana Gaddam, Pratyay Mukherjee, Rohit Sinha

    Read on IACR ePrint
  2. 2021 · USENIX Security
    Reducing HSM Reliance in Payments through Proxy Re-Encryption

    Sivanarayana Gaddam, Atul Luykx, Rohit Sinha, Gaven Watson

    Read at USENIX

More work from Rohit Sinha and Sivanarayana Gaddam.