We have 3 of 39 papers
We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.
Not the right person? Other researchers publish under this name.
This work combines document parsing, static analysis, and Tree of Thoughts reasoning to make smart contract repair more accurate and practical and overcomes the limitations of linear reasoning.
VPID, a lightweight framework for vulnerability prioritization and intrusion detection that consists of two principal modules: controlled vulnerability validation and intelligent intrusion defense, is designed and implemented.
This work systematically analyzed the grammatical and semantic features that lead to excessive Gas consumption and proposes RAGas, a three-stage retrieval enhancement generation framework that utilizes large language models to locate and automatically fix Gas inefficiency issues.
We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.
