8 citations · 12 across the 4 of their papers we have counts for
4 papers
Generating Move Smart Contracts based on Concepts
Rabimba Karanjai, Sam Blackshear, Lei Xu +1
The growing adoption of formal verification for smart contracts has spurred the development of new verifiable languages like Move. However, the limited availability of training dat…
LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis
Rabimba Karanjai, Yang Lu, Dana Alsagheer +4
Logs are critical resources that record events, activities, or messages produced by software applications, operating systems, servers, and network devices. However, consolidating t…
Decentralized FaaS over Multi-Clouds with Blockchain based Management for Supporting Emerging Applications
Rabimba Karanjai, Lei Xu, Lin Chen +2
Function-as-a-Service (FaaS) offers a streamlined cloud computing paradigm, but existing centralized systems suffer from vendor lock-in and single points of failure. We propose DeF…
Decentralized Translator of Trust: Supporting Heterogeneous TEE for Critical Infrastructure Protection
Rabimba Karanjai, Rowan Collier, Zhimin Gao +5
Trusted execution environment (TEE) technology has found many applications in mitigating various security risks in an efficient manner, which is attractive for critical infrastruct…