Security | Rabimba Karanjai

Reachability-Based Capability Confinement for LLM Agents under Indirect Prompt Injection

Sun, 30 Aug 2026 00:00:00 +0000

PACE: Policy-Attested Contract Execution for Safe AI Agents in Decentralized Finance

Tue, 18 Aug 2026 00:00:00 +0000

When Agents Act on Web3: An Attack-Surface Survey of MCP, Skills, and Tool Calling

Tue, 18 Aug 2026 00:00:00 +0000

Context Contamination at USENIX Security 26 — Oral Presentation & Poster

Wed, 12 Aug 2026 09:00:00 +0000

Racecraft: Fine-Tuning Gemma 4 with DPO for Sub-150ms On-Device Coaching at 130 MPH

Sun, 02 Aug 2026 00:00:00 +0000

Context Contamination in LLM Analysis of Network Security Logs: Poison with Passive Prompt Injection and Mitigation Evaluation

Sat, 01 Aug 2026 00:00:00 +0000

zkRansomware: Proof-of-Data Recoverability and Multi-round Game Theoretic Modeling of Ransomware Decisions

Sat, 10 Jan 2026 00:00:00 +0000

Bridging Confidentiality and Reliability: Open-Weight Agents for Legal Reasoning

Thu, 01 Jan 2026 00:00:00 +0000

Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move

Sat, 01 Nov 2025 00:00:00 +0000

Evaluating the Quality of Randomness and Entropy in Tasks Supported by Large Language Models

Fri, 01 Aug 2025 00:00:00 +0000

Teaching AIs to Reason and Code, Confidentially

Fri, 25 Jul 2025 00:00:00 +0000

Ransomware 3.0: Enhancing Risk Management and Mitigation Options with Proof-of-Decryptability and Smart Contracts

Thu, 01 May 2025 00:00:00 +0000

LogBabylon: A Unified Framework for Cross-Log File Integration and Analysis

Sat, 01 Mar 2025 00:00:00 +0000

Adding All Flavors: A Hybrid Random Number Generator for dApps and Web3

Sun, 01 Sep 2024 00:00:00 +0000

Blockchain & Decentralized Systems

Mon, 01 Jan 2024 00:00:00 +0000

This research thread represents my largest body of work, spanning smart contract security, decentralized infrastructure, and cross-chain interoperability. Highlights include:

Securing Multi-Chain Ecosystems — A unified agent-based framework for vulnerability detection in Solidity and Move smart contracts (AIWare 2025).
DIaC (Decentralized Infrastructure as Code) — Re-imagining infrastructure management using blockchain (IEEE TNSM 2023).
Smart Contract Translation — Automated translation between smart contract languages using LLMs (FSE 2024).
VerifyGen-X — Cross-chain smart contract generation with verification (NeurIPS 2026, under review).
Ransomware 3.0 — Novel mitigation using proof-of-decryptability smart contracts (IEEE ICBC 2025).
FaaS for dApps — Decentralized Function-as-a-Service for emerging applications (IEEE ICBC 2023).
Conditional Cryptocurrency — Privacy-preserving conditional transactions (IEEE ICBC 2021).

Supported by three consecutive Sui Foundation Academic Research Awards ($25,000 each).

Edge Computing & Trusted Execution

Mon, 01 Jan 2024 00:00:00 +0000

This research area investigates how to bring secure, verifiable computation to resource-constrained edge devices:

Trusted Inference at the Edge — Combining smart contracts with trusted execution environments for verifiable edge inference (IEEE ICBC 2024).
Blockchain + TEE — Lessons learned from applying TEEs in blockchain applications, with implications for future secure systems.
Supporting Heterogeneous Infrastructure — Protecting critical infrastructure across diverse computing environments (AsiaCCS 2023).
AI-Based Personalized Interventions — Deploying AI models for health applications on edge devices (SynBio 2025).

This work bridges the gap between the security guarantees of centralized systems and the autonomy of decentralized, edge-deployed applications.

Cross Chain Bribery Contracts: Majority vs Mighty Minority

Thu, 08 Jun 2023 00:00:00 +0000

Decentralized Machine Learning Governance: Overview, Opportunities, and Research Challenges

Mon, 01 May 2023 00:00:00 +0000

DHTee: Decentralized Infrastructure for Heterogeneous TEE

Mon, 01 May 2023 00:00:00 +0000

Supporting Heterogeneous TEE for Critical Infrastructure Protection

Mon, 01 May 2023 00:00:00 +0000

Targeted Phishing Campaigns using Large Scale Language Models

Fri, 30 Dec 2022 00:00:00 +0000

Fpswap: Fair and Privacy Friendly Swap of Digital Assets on Blockchain

Tue, 21 Jun 2022 00:00:00 +0000

Mobile multi-party digitally signed documents and techniques for using these allowing detection of tamper

Tue, 01 Jun 2021 00:00:00 +0000

Securi-Tay 2017

Fri, 10 Mar 2017 10:00:00 +0000