关注
Raghavendra Ramesh
Raghavendra Ramesh
SupraOracles
在 supraoracles.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
Atomic crosschain transactions for ethereum private sidechains
P Robinson, R Ramesh, S Johnson
Blockchain: Research and Applications 3 (1), 100030, 2022
632022
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
462020
General purpose atomic crosschain transactions
P Robinson, R Ramesh
2021 3rd Conference on blockchain research & applications for innovative …, 2021
442021
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
352017
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
282021
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
202005
Trust model for IoT using cluster analysis: A centralized approach
SFA Mon, SG Winster, R Ramesh
Wireless Personal Communications 127 (1), 715-736, 2022
172022
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
162011
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
152011
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
112008
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
82023
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
72018
Inferring security-sensitive entities in libraries
Y Lu, P Krishnan, RK Ramesh, BAE Sora
US Patent 9,807,101, 2017
72017
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
72012
Moonshot: Optimizing chain-based rotating leader bft via optimistic proposals
I Doidge, R Ramesh, N Shrestha, J Tobkin
arXiv preprint arXiv:2401.01791, 2024
62024
Atomic crosschain transactions white paper
P Robinson, R Ramesh, J Brainard, S Johnson
arXiv preprint arXiv:2003.00903, 2020
62020
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
62013
Layer 2 Atomic Cross-Blockchain Function Calls
P Robinson, R Ramesh
arXiv preprint arXiv:2005.09790, 2020
52020
Layer 2 Atomic Cross-Blockchain Function Calls. 2020
P Robinson, R Ramesh
URL https://arxiv. org/abs, 2005
52005
Checking unwinding conditions for finite state systems
D D’Souza, KR Raghavendra
Proceedings of the VERIFY’06 workshop, 85-94, 2006
32006
系统目前无法执行此操作,请稍后再试。
文章 1–20