Li-Ming Nie

SecChain: Operationalizing Security Guidelines for Multi-agent Smart Contract Generation

Smart contracts generated by large language models (LLMs) can compile yet still violate basic security obligations, and existing generation frameworks largely treat security as post-hoc verification rather than as a constraint that persists throughout generation and repair. We present SecChain, a multi-agent smart-cont...