| A Formal Foundation for Secure Remote Execution of Enclaves P Subramanyan, R Sinha, I Lebedev, S Devadas, S Seshia ACM CCS 2017, 2017 | 194 | 2017 |
| Moat: Verifying Confidentiality of Enclave Programs R Sinha, S Rajamani, SA Seshia, K Vaswani ACM CCS 2015, 1169-1184, 2015 | 159 | 2015 |
| A design and verification methodology for secure isolated regions R Sinha, M Costa, A Lal, NP Lopes, S Rajamani, SA Seshia, K Vaswani ACM SIGPLAN Notices 51 (6), 665-681, 2016 | 87 | 2016 |
| Parallel simulation of mixed-abstraction SystemC models on GPUs and multicore CPUs R Sinha, A Prakash, HD Patel 17th Asia and South Pacific Design Automation Conference, 455-460, 2012 | 67 | 2012 |
| hinTS: Threshold Signatures with Silent Setup S Garg, A Jain, P Mukherjee, R Sinha, M Wang, Y Zhang IEEE S&P 2024, 2024 | 61 | 2024 |
| VeritasDB: High Throughput Key-Value Store with Integrity R Sinha, M Christodorescu | 52 | 2018 |
| A compiler and verifier for page access oblivious computation R Sinha, S Rajamani, SA Seshia Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 40 | 2017 |
| Threshold Signatures in the Multiverse L Baird, S Garg, A Jain, P Mukherjee, R Sinha, M Wang, Y Zhang IEEE S&P 2023, 2023 | 30 | 2023 |
| Cryptography with Weights: MPC, Encryption and Signatures S Garg, A Jain, P Mukherjee, R Sinha, M Wang, Y Zhang CRYPTO 2023, 2023 | 28 | 2023 |
| i-TiRE: Incremental Timed-Release Encryption or How to use Timed-Release Encryption on Blockchains? L Baird, P Mukherjee, R Sinha CCS 2022, 2022 | 27* | 2022 |
| Automatic rootcausing for program equivalence failures in binaries SK Lahiri, R Sinha, C Hawblitzel International Conference on Computer Aided Verification, 362-379, 2015 | 26 | 2015 |
| Sublonk: Sublinear prover plonk AR Choudhuri, S Garg, A Goel, S Sekar, R Sinha Proceedings on Privacy Enhancing Technologies, 2024 | 25 | 2024 |
| Amortized threshold symmetric-key encryption M Christodorescu, S Gaddam, P Mukherjee, R Sinha Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 22 | 2021 |
| Luciditee: A tee-blockchain system for policy-compliant multiparty computation with fairness R Sinha, S Gaddam, R Kumaresan Cryptology ePrint Archive, 2019 | 18 | 2019 |
| Verification of quantitative hyperproperties using trace enumeration relations S Sahai, P Subramanyan, R Sinha International Conference on Computer Aided Verification, 201-224, 2020 | 15 | 2020 |
| Abstract state machines as an intermediate representation for high-level synthesis R Sinha, HD Patel 2011 Design, Automation & Test in Europe, 1-6, 2011 | 12 | 2011 |
| synASM: A high-level synthesis framework with support for parallel and timed constructs R Sinha, HD Patel IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012 | 11 | 2012 |
| Beyond Traditional Analysis: Exploring Random Forests For Stock Market Prediction R Sinha, R Jain International Journal Of Creative Research Thoughts, 363-373, 2016 | 10 | 2016 |
| Mining Opinions from Text: Leveraging Support Vector Machines for Effective Sentiment Analysis R Sinha, R Jain International Journal in IT and Engineering 1 (5), 15-25, 2013 | 10 | 2013 |
| Verification with small and short worlds R Sinha, C Sturton, P Maniatis, SA Seshia, D Wagner 2012 Formal Methods in Computer-Aided Design (FMCAD), 68-77, 2012 | 9 | 2012 |
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
