| Atomic crosschain transactions for ethereum private sidechains P Robinson, R Ramesh, S Johnson Blockchain: Research and Applications 3 (1), 100030, 2022 | 79 | 2022 |
| Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room A Antoniadis, N Filippakis, P Krishnan, R Ramesh, N Allen, ... Proceedings of the 41st ACM SIGPLAN conference on programming language …, 2020 | 63 | 2020 |
| General purpose atomic crosschain transactions P Robinson, R Ramesh 2021 3rd Conference on blockchain research & applications for innovative …, 2021 | 59 | 2021 |
| An efficient tunable selective points-to analysis for large codebases B Hassanshahi, RK Ramesh, P Krishnan, B Scholz, Y Lu Proceedings of the 6th ACM SIGPLAN International Workshop on State of the …, 2017 | 43 | 2017 |
| Efficient sensitivity orient blockchain encryption for improved data security in cloud A Siva Kumar, S Godfrey Winster, R Ramesh Concurrent Engineering 29 (3), 249-257, 2021 | 31 | 2021 |
| Trust model for IoT using cluster analysis: A centralized approach SFA Mon, SG Winster, R Ramesh Wireless Personal Communications 127 (1), 715-736, 2022 | 25 | 2022 |
| An automata based approach for verifying information flow properties D D'Souza, KR Raghavendra, B Sprick Electronic Notes in Theoretical Computer Science 135 (1), 39-58, 2005 | 20 | 2005 |
| Moonshot: Optimizing chain-based rotating leader bft via optimistic proposals I Doidge, R Ramesh, N Shrestha, J Tobkin arXiv preprint arXiv:2401.01791, 2024 | 17 | 2024 |
| Model-checking trace-based information flow properties D D'Souza, R Holla, KR Raghavendra, B Sprick Journal of Computer Security 19 (1), 101-138, 2011 | 16 | 2011 |
| SEAL: a logic programming framework for specifying and verifying access control models P Naldurg, R KR Proceedings of the 16th ACM symposium on Access control models and …, 2011 | 15 | 2011 |
| Logistic Regression Trust-A Trust Model for Internet-of-Things Using Regression Analysis. FAM Solomon, GW Sathianesan, R Ramesh Computer Systems Science & Engineering 44 (2), 2023 | 12 | 2023 |
| On the decidability of model-checking information flow properties D D’Souza, R Holla, J Kulkarni, R Ramesh, B Sprick International Conference on Information Systems and Security (ICISS) 5352, 26-40, 2008 | 11 | 2008 |
| Static program analysis method for detecting security bugs in programs that rely on code access control Y Lu, RK Ramesh US Patent 10,108,802, 2018 | 8 | 2018 |
| Inferring security-sensitive entities in libraries Y Lu, P Krishnan, RK Ramesh, S BAE US Patent 9,807,101, 2017 | 8 | 2017 |
| Modeling and analysis of a fuel-injection pump used in diesel engines P Sundarraman, SK Saha, NJ Vasa, R Baskaran, V Sunilkumar, ... International journal of automotive technology 13 (2), 193-203, 2012 | 7 | 2012 |
| Moonshot: Optimizing block period and commit latency in chain-based rotating leader bft I Doidge, R Ramesh, N Shrestha, J Tobkin 2024 54th Annual IEEE/IFIP International Conference on Dependable Systems …, 2024 | 6 | 2024 |
| Optimal Sharding for Scalable Blockchains with Deconstructed SMR J Zhang, Z Luo, R Ramesh, A Kate arXiv preprint arXiv:2406.08252, 2024 | 6 | 2024 |
| Coverage of web application analysis A Antoniadis, R Ramesh, P Krishnan, NJ Allen US Patent 11,580,228, 2023 | 6 | 2023 |
| Layer 2 atomic cross-blockchain function calls P Robinson, R Ramesh arXiv preprint arXiv:2005.09790, 2020 | 6 | 2020 |
| Atomic crosschain transactions white paper P Robinson, R Ramesh, J Brainard, S Johnson arXiv preprint arXiv:2003.00903, 2020 | 6 | 2020 |
