http://rabimba.fyi/tags/distributed-systems/Distributed SystemsHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2024 00:00:00 +0000http://rabimba.fyi/media/icon_hu_6d534efae7b021f2.pnghttp://rabimba.fyi/tags/distributed-systems/http://rabimba.fyi/projects/blockchain-security/Mon, 01 Jan 2024 00:00:00 +0000http://rabimba.fyi/projects/blockchain-security/<p>This research thread represents my largest body of work, spanning smart contract security, decentralized infrastructure, and cross-chain interoperability. Highlights include:</p> <ul> <li><strong>Securing Multi-Chain Ecosystems</strong> — A unified agent-based framework for vulnerability detection in Solidity and Move smart contracts (AIWare 2025).</li> <li><strong>DIaC (Decentralized Infrastructure as Code)</strong> — Re-imagining infrastructure management using blockchain (IEEE TNSM 2023).</li> <li><strong>Smart Contract Translation</strong> — Automated translation between smart contract languages using LLMs (FSE 2024).</li> <li><strong>VerifyGen-X</strong> — Cross-chain smart contract generation with verification (NeurIPS 2026, under review).</li> <li><strong>Ransomware 3.0</strong> — Novel mitigation using proof-of-decryptability smart contracts (IEEE ICBC 2025).</li> <li><strong>FaaS for dApps</strong> — Decentralized Function-as-a-Service for emerging applications (IEEE ICBC 2023).</li> <li><strong>Conditional Cryptocurrency</strong> — Privacy-preserving conditional transactions (IEEE ICBC 2021).</li> </ul> <p>Supported by three consecutive Sui Foundation Academic Research Awards ($25,000 each).</p>