Atomic crosschain transactions for ethereum private sidechains P Robinson, R Ramesh, S Johnson Blockchain: Research and Applications 3 (1), 100030, 2022 | 63 | 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 | 46 | 2020 |
General purpose atomic crosschain transactions P Robinson, R Ramesh 2021 3rd Conference on blockchain research & applications for innovative …, 2021 | 44 | 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 | 35 | 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 | 28 | 2021 |
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 |
Trust model for IoT using cluster analysis: A centralized approach SFA Mon, SG Winster, R Ramesh Wireless Personal Communications 127 (1), 715-736, 2022 | 17 | 2022 |
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 |
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 |
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 | 8 | 2023 |
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 | 7 | 2018 |
Inferring security-sensitive entities in libraries Y Lu, P Krishnan, RK Ramesh, BAE Sora US Patent 9,807,101, 2017 | 7 | 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, 193-203, 2012 | 7 | 2012 |
Moonshot: Optimizing chain-based rotating leader bft via optimistic proposals I Doidge, R Ramesh, N Shrestha, J Tobkin arXiv preprint arXiv:2401.01791, 2024 | 6 | 2024 |
Atomic crosschain transactions white paper P Robinson, R Ramesh, J Brainard, S Johnson arXiv preprint arXiv:2003.00903, 2020 | 6 | 2020 |
Primal Infon Logic: Derivability in Polynomial Time. A Baskar, P Naldurg, KR Raghavendra, SP Suresh IARCS Annual Conference on Foundations of Software Technology and …, 2013 | 6 | 2013 |
Layer 2 Atomic Cross-Blockchain Function Calls P Robinson, R Ramesh arXiv preprint arXiv:2005.09790, 2020 | 5 | 2020 |
Layer 2 Atomic Cross-Blockchain Function Calls. 2020 P Robinson, R Ramesh URL https://arxiv. org/abs, 2005 | 5 | 2005 |
Checking unwinding conditions for finite state systems D D’Souza, KR Raghavendra Proceedings of the VERIFY’06 workshop, 85-94, 2006 | 3 | 2006 |