NDSS 2025 – PropertyGPT
ID: 097b8754-ffab-5501-802c-876e42e47440
STIX ID: report--097b8754-ffab-5501-802c-876e42e47440
Feed Name: Security Boulevard
A blog-syndicated overview of an NDSS 2025 session presents PropertyGPT, an LLM-powered framework that generates and verifies formal properties for smart contracts using retrieval-augmented prompts, iterative compilation/analysis feedback, property ranking, and a dedicated prover. The paper reports strong effectiveness (80% recall versus ground truth), identifying 26 of 37 incidents and 12 zero-day vulnerabilities, and earning $8,256 in bounties, positioning the tool as a scalable aid for security-sensitive blockchain code verification.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.