Blockchain

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

Unlocking On-Chain Intelligence: A Practical Framework for GenAI-Powered Smart Contracts

Securing the Multi-Chain Ecosystem: A Unified, Agent-Based Framework for Vulnerability Repair in Solidity and Move

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

Smart Contract Code Translation based on Concepts

All We Need is Voter Feedback

Blockchain & Decentralized Systems

Building secure, scalable decentralized infrastructure with smart contracts, cross-chain frameworks, and AI-powered vulnerability detection.

DIaC: Re-imagining Decentralized Infrastructure As Code using Blockchain

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

Decentralized Application Infrastructures as Smart Contract Codes

Lessons Learned from Blockchain Applications of Trusted Execution Environments and Implications

An event driven framework for smart contract execution

On Conditional Cryptocurrency With Privacy