| Atomic crosschain transactions for ethereum private sidechains P Robinson, R Ramesh, S Johnson Blockchain: Research and Applications 3 (1), 100030, 2022 | 36 | 2022 |
| 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 | 25 | 2017 |
| General purpose atomic crosschain transactions P Robinson, R Ramesh 2021 3rd Conference on Blockchain Research & Applications for Innovative …, 2021 | 22 | 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 | 21 | 2005 |
| 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 | 19 | 2020 |
| 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 |
| 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 |
| 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 | 6 | 2018 |
| Atomic crosschain transactions white paper P Robinson, R Ramesh, J Brainard, S Johnson arXiv preprint arXiv:2003.00903, 2020 | 5 | 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 | 5 | 2013 |
| Layer 2 Atomic Cross-Blockchain Function Calls. 2020 P Robinson, R Ramesh URL https://arxiv. org/abs, 2005 | 4 | 2005 |
| Checking unwinding conditions for finite state systems D D’Souza, KR Raghavendra Proceedings of the VERIFY 2006 workshop, 85-94, 2006 | 3 | 2006 |
| Scalable points-to analysis via multiple slicing P Krishnan, RK Ramesh US Patent App. 14/757,684, 2017 | 2 | 2017 |
| Coverage of web appliction analysis A Antoniadis, R Ramesh, P Krishnan, NJ Allen US Patent App. 16/692,769, 2021 | 1 | 2021 |
| Layer 2 Atomic Cross-Blockchain Function Calls P Robinson, R Ramesh arXiv preprint arXiv:2005.09790, 2020 | 1 | 2020 |
| Staged refinement for static analysis RK Ramesh, P Krishnan, F Gauthier US Patent 10,540,255, 2020 | 1 | 2020 |
| Selective object sensitive points-to analysis B Hassanshahi, RK Ramesh, P Krishnan, BF Scholz, Y Lu US Patent 10,318,257, 2019 | 1 | 2019 |
