Blockchain | Rabimba Karanjai

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

Tue, 18 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

VerifyGen-X: Secure Cross-Chain Smart Contract Generation via Scalable Reinforcement Learning from Formal Verification Feedback

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

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

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

Weaving the Cosmos: WASM-Powered Interchain Communication for AI Enabled Smart Contracts

Mon, 24 Feb 2025 00:00:00 +0000

Generating Move Smart Contracts based on Concepts

Tue, 17 Dec 2024 00:00:00 +0000

Smart Contract Code Translation based on Concepts

Fri, 01 Nov 2024 00:00:00 +0000

SolMover: Feasibility of Using LLMs for Translating Smart Contracts

Wed, 01 May 2024 00:00:00 +0000

All We Need is Voter Feedback: A New Paradigm to Realize Politics without Politicians Using AI Models Aligned with Voter Inputs

Mon, 01 Apr 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).

DIaC: Re-imagining Decentralized Infrastructure As Code using Blockchain

Wed, 01 Nov 2023 00:00:00 +0000

Cross Chain Bribery Contracts: Majority vs Mighty Minority

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

DeFaaS: Decentralized Function-as-a-Service for Emerging dApps and Web

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

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

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

Decentralized Application Infrastructures as Smart Contract Codes

Sun, 01 May 2022 00:00:00 +0000

Lessons Learned from Blockchain Applications of Trusted Execution Environments and Implications

Mon, 01 Nov 2021 00:00:00 +0000

An event driven framework for smart contract execution

Tue, 01 Jun 2021 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

On Conditional Cryptocurrency With Privacy

Sat, 01 May 2021 00:00:00 +0000