6 citations · 15 across the 16 of their papers we have counts for
16 papers
PACE: Policy-Attested Contract Execution for Safe AI Agents in Decentralized Finance
Rabimba Karanjai, Yang Lu, Richard Williamson +5
Autonomous AI agents are emerging as interfaces for decentralized finance (DeFi) actions such as swaps, lending operations, and yield management. Because these agents rely on large…
Context Contamination in LLM Analysis of Network Security Logs: Poison with Passive Prompt Injection and Mitigation Evaluation
Rabimba Karanjai, Yang Lu, Hemanth Hegadehalli Madhavarao +2
Large Language Models are increasingly deployed in Security Operations Centers for log analysis tasks including summarization, alert triage, and threat investigation. These systems…
CausalGraphX: A Counterfactual Graph Neural Network Framework for Explainable Systemic Risk Assessment
Rabimba Karanjai, Hemanth Madhavarao, Lei Xu +1
The interconnected nature of global financial systems makes them vulnerable to systemic risks, where the failure of a few institutions can trigger catastrophic cascading defaults.…
zkRansomware: Proof-of-Data Recoverability and Multi-round Game Theoretic Modeling of Ransomware Decisions
Xinyu Hou, Yang Lu, Rabimba Karanjai +2
Ransomware is still one of the most serious cybersecurity threats. Victims often pay but fail to regain access to their data, while also facing the danger of losing data privacy. T…
HPCAgentTester: A Multi-Agent LLM Approach for Enhanced HPC Unit Test Generation
Rabimba Karanjai, Lei Xu, Weidong Shi
Unit testing in High-Performance Computing (HPC) is critical but challenged by parallelism, complex algorithms, and diverse hardware. Traditional methods often fail to address non-…
QuCoWE Quantum Contrastive Word Embeddings with Variational Circuits for NearTerm Quantum Devices
Rabimba Karanjai, Hemanth Hegadehalli Madhavarao, Lei Xu +1
We present QuCoWE a framework that learns quantumnative word embeddings by training shallow hardwareefficient parameterized quantum circuits PQCs with a contrastive skipgram object…
Evaluating the Quality of Randomness and Entropy in Tasks Supported by Large Language Models
Rabimba Karanjai, Yang Lu, Ranjith Chodavarapu +2
The rapid advancement of large language model (LLM) technology has led to diverse applications, many of which inherently require randomness, such as stochastic decision-making, gam…
Adding All Flavors: A Hybrid Random Number Generator for dApps and Web3
Ranjith Chodavarapu, Rabimba Karanjai, Xinxin Fan +2
Random numbers play a vital role in many decentralized applications (dApps), such as gaming and decentralized finance (DeFi) applications. Existing random number provision mechanis…
Synthesizing Public Opinions with LLMs: Role Creation, Impacts, and the Future to eDemorcacy
Rabimba Karanjai, Boris Shor, Amanda Austin +4
This paper investigates the use of Large Language Models (LLMs) to synthesize public opinion data, addressing challenges in traditional survey methods like declining response rates…
Collaboration is all you need: LLM Assisted Safe Code Translation
Rabimba Karanjai, Sam Blackshear, Lei Xu +1
This paper introduces UniTranslator, a visionary framework that re-imagines code translation as a collaborative endeavor among multiple, compact LLMs. By orchestrating the interact…
Weaving the Cosmos: WASM-Powered Interchain Communication for AI Enabled Smart Contracts
Rabimba Karanjai, Lei Xu, Weidong Shi
In this era, significant transformations in industries and tool utilization are driven by AI/Large Language Models (LLMs) and advancements in Machine Learning. There's a growing em…
Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move
Rabimba Karanjai, Lei Xu, Weidong Shi
The rapid growth of the blockchain ecosystem and the increasing value locked in smart contracts necessitate robust security measures. While languages like Solidity and Move aim to…
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…
Harnessing the Power of LLMs: Automating Unit Test Generation for High-Performance Computing
Rabimba Karanjai, Aftab Hussain, Md Rafiqul Islam Rabin +3
Unit testing is crucial in software engineering for ensuring quality. However, it's not widely used in parallel and high-performance computing software, particularly scientific app…
Teaching Machines to Code: Smart Contract Translation with LLMs
Rabimba Karanjai, Lei Xu, Weidong Shi
The advent of large language models (LLMs) has marked a significant milestone in the realm of artificial intelligence, with their capabilities often matching or surpassing human ex…