Selected Refereed Publications:
1. Pramod Subramanyan, Rohit Sinha, Ilia Lebedev, Srinivas Devadas, Sanjit Seshia. A Formal Foundation for Secure Remote Execution of Enclaves. In proceedings of CCS 2017.
2. Rohit Sinha, Sriram Rajamani, Sanjit Seshia. A Compiler and Verifier for Page Access Oblivious Computation. In proceedings of FSE 2017.
3. Rohit Sinha, Manuel Costa, Akash Lal, Nuno Lopes, Sriram Rajamani, Sanjit Seshia, Kapil Vaswani. A Design an Verification Methodology for Secure Isolated Regions. In proceedings of PLDI 2016.
4. Rohit Sinha, Sriram Rajamani, Sanjit Seshia, Kapil Vaswani. Moat: Verifying Confidentiality of Enclave Programs. In proceedings of CCS 2015.
5. Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel. Automatic Rootcausing for Program Equivalence Failures in Binaries. In proceedings of CAV 2015.
6. Rohit Sinha, Cynthia Sturton, Petros Maniatis, Sanjit Seshia, David Wagner. Verification with Small and Short Worlds. In proceedings of FMCAD 2012.