Thanks for the shoutout @Certora! We're excited that our #AI engine #PropertyGPT is contributing to secure smart contract development 💻

Today I've presented the paper "Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts" at USENIX Security 2024 USENIX Security. The paper is under the collaboration with Dao, Liu Han and MetaTrust Labs.

In line with my talk on "Discovering and Investigating Propagated Vulnerabilities from Ethereum to Its Layer-2 Blockchains" HITBSecConf today, we have open-sourced BlockScope (published in #NDSS23) at github.com/VPRLab/BlockSc…. Happy bug hunting in blockchain systems. #HITB2024BKK

Presentation slides from #HITB2024BKK are available for download here: conference.hitb.org/hitbsecconf202…

Please consider volunteering to join the USENIX Security '25 artifact evaluation committee! Help us make sharing reusable research artifacts the norm rather than the exception.

The 3rd International Workshop on Software Vulnerability Management (SVM 2025) at #icse2025 invites submissions concerning the advances and practices of #software #vulnerability management from both technical and socio-technical perspectives. CFP: conf.researchr.org/home/icse-2025…

🎉 The camera-ready version of our #PropertyGPT paper for #NDSS2025 is now live!📄✨ 📚 Paper: daoyuan14.github.io/papers/NDSS25_… 💻 Artifact: github.com/Pr0pertyGPT/Pr… Check it out and explore! 🚀🔥 #AI #LLM #LLM4Sec #Cybersecurity #Research

@lipeng_he ICSE Hi. The camera-ready version of our #HEDiff paper for #ICSE2025 is now live!📄📷✨ 📚 Paper: daoyuan14.github.io/papers/ICSE25_…📷 Artifact: sites.google.com/view/hediff

2024 is 94% complete.

Honored to share that our paper, "PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation," has won the Distinguished Paper Award at #NDSS2025!🎉🚀 The arXiv version has already received 19 citations: arxiv.org/abs/2405.02580