<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Smart Contracts | Rabimba Karanjai</title><link>http://rabimba.fyi/tags/smart-contracts/</link><atom:link href="http://rabimba.fyi/tags/smart-contracts/index.xml" rel="self" type="application/rss+xml"/><description>Smart Contracts</description><generator>Hugo Blox Builder (https://hugoblox.com)</generator><language>en-us</language><lastBuildDate>Fri, 01 May 2026 00:00:00 +0000</lastBuildDate><image><url>http://rabimba.fyi/media/icon_hu_6d534efae7b021f2.png</url><title>Smart Contracts</title><link>http://rabimba.fyi/tags/smart-contracts/</link></image><item><title>Empowering Smart Contracts with Real-time On-Chain AI Inferences</title><link>http://rabimba.fyi/publication/empowering-smart-contracts-ai/</link><pubDate>Fri, 01 May 2026 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/empowering-smart-contracts-ai/</guid><description/></item><item><title>Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move</title><link>http://rabimba.fyi/publication/securing-multi-chain/</link><pubDate>Sat, 01 Nov 2025 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/securing-multi-chain/</guid><description/></item><item><title>Unlocking On-Chain Intelligence: A Practical Framework for GenAI-Powered Smart Contracts</title><link>http://rabimba.fyi/publication/unlocking-onchain-intelligence/</link><pubDate>Sat, 01 Nov 2025 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/unlocking-onchain-intelligence/</guid><description/></item><item><title>Weaving the Cosmos: WASM-Powered Interchain Communication for AI Enabled Smart Contracts</title><link>http://rabimba.fyi/publication/weaving-cosmos-wasm-interchain/</link><pubDate>Mon, 24 Feb 2025 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/weaving-cosmos-wasm-interchain/</guid><description/></item><item><title>Generating Move Smart Contracts based on Concepts</title><link>http://rabimba.fyi/publication/conmover-move-concepts/</link><pubDate>Tue, 17 Dec 2024 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/conmover-move-concepts/</guid><description/></item><item><title>Smart Contract Code Translation based on Concepts</title><link>http://rabimba.fyi/publication/smart-contract-translation/</link><pubDate>Fri, 01 Nov 2024 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/smart-contract-translation/</guid><description/></item><item><title>SolMover: Feasibility of Using LLMs for Translating Smart Contracts</title><link>http://rabimba.fyi/publication/solmover-feasibility-icbc/</link><pubDate>Wed, 01 May 2024 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/solmover-feasibility-icbc/</guid><description/></item><item><title>Trusted LLM Inference on the Edge with Smart Contracts</title><link>http://rabimba.fyi/publication/trusted-infer-edge/</link><pubDate>Wed, 01 May 2024 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/trusted-infer-edge/</guid><description/></item><item><title>Blockchain &amp; Decentralized Systems</title><link>http://rabimba.fyi/projects/blockchain-security/</link><pubDate>Mon, 01 Jan 2024 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/projects/blockchain-security/</guid><description>&lt;p&gt;This research thread represents my largest body of work, spanning smart contract security, decentralized infrastructure, and cross-chain interoperability. Highlights include:&lt;/p&gt;
&lt;ul&gt;
&lt;li&gt;&lt;strong&gt;Securing Multi-Chain Ecosystems&lt;/strong&gt; — A unified agent-based framework for vulnerability detection in Solidity and Move smart contracts (AIWare 2025).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;DIaC (Decentralized Infrastructure as Code)&lt;/strong&gt; — Re-imagining infrastructure management using blockchain (IEEE TNSM 2023).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Smart Contract Translation&lt;/strong&gt; — Automated translation between smart contract languages using LLMs (FSE 2024).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;VerifyGen-X&lt;/strong&gt; — Cross-chain smart contract generation with verification (NeurIPS 2026, under review).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Ransomware 3.0&lt;/strong&gt; — Novel mitigation using proof-of-decryptability smart contracts (IEEE ICBC 2025).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;FaaS for dApps&lt;/strong&gt; — Decentralized Function-as-a-Service for emerging applications (IEEE ICBC 2023).&lt;/li&gt;
&lt;li&gt;&lt;strong&gt;Conditional Cryptocurrency&lt;/strong&gt; — Privacy-preserving conditional transactions (IEEE ICBC 2021).&lt;/li&gt;
&lt;/ul&gt;
&lt;p&gt;Supported by three consecutive Sui Foundation Academic Research Awards ($25,000 each).&lt;/p&gt;</description></item><item><title>Who is Smarter? An Empirical Study of AI-based Smart Contract Creation</title><link>http://rabimba.fyi/publication/smarter-smart-contract/</link><pubDate>Sun, 01 Oct 2023 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/smarter-smart-contract/</guid><description/></item><item><title>Cross Chain Bribery Contracts: Majority vs Mighty Minority</title><link>http://rabimba.fyi/publication/cross-chain-bribery-contracts-majority-vs-mighty-minority/</link><pubDate>Thu, 08 Jun 2023 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/cross-chain-bribery-contracts-majority-vs-mighty-minority/</guid><description/></item><item><title>Decentralized Application Infrastructures as Smart Contract Codes</title><link>http://rabimba.fyi/publication/decentralized-apps/</link><pubDate>Sun, 01 May 2022 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/decentralized-apps/</guid><description/></item><item><title>An event driven framework for smart contract execution</title><link>http://rabimba.fyi/publication/event-driven-framework/</link><pubDate>Tue, 01 Jun 2021 00:00:00 +0000</pubDate><guid>http://rabimba.fyi/publication/event-driven-framework/</guid><description/></item></channel></rss>