Atomic crosschain transactions for ethereum private sidechains P Robinson, R Ramesh, S Johnson Blockchain: Research and Applications 3 (1), 100030, 2022 | 58 | 2022 |
General purpose atomic crosschain transactions P Robinson, R Ramesh 2021 3rd Conference on blockchain research & applications for innovative …, 2021 | 37 | 2021 |
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 | 36 | 2020 |
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 | 33 | 2017 |
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 |
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 |
Atomic crosschain transactions white paper P Robinson, R Ramesh, J Brainard, S Johnson arXiv preprint arXiv:2003.00903, 2020 | 7 | 2020 |
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 |
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 | 5 | 2005 |
Layer 2 Atomic Cross-Blockchain Function Calls P Robinson, R Ramesh arXiv preprint arXiv:2005.09790, 2020 | 3 | 2020 |
Checking unwinding conditions for finite state systems D D’Souza, KR Raghavendra Proceedings of the VERIFY’06 workshop, 85-94, 2006 | 3 | 2006 |
Moonshot: Optimizing Chain-Based Rotating Leader BFT via Optimistic Proposals I Doidge, R Ramesh, N Shrestha, J Tobkin arXiv preprint arXiv:2401.01791, 2024 | 2 | 2024 |
Staged refinement for static analysis RK Ramesh, P Krishnan, F Gauthier US Patent 10,540,255, 2020 | 2 | 2020 |
Scalable provenance generation from points-to information S Sindelar, P Krishnan, B Scholz, RK Ramesh, Y Lu US Patent 9,811,322, 2017 | 2 | 2017 |
Inference of security-sensitive entities in libraries Y Lu, S Bae, P Krishnan, KR Raghavendra 2017 IEEE Security and Privacy Workshops (SPW), 102-109, 2017 | 1 | 2017 |