NDSS 2025 Distinguished Paper Award: PropertyGPT Revolutionizes Smart Contract Security Through AI-Powered Formal Verification
Collaborative research between MetaTrust Labs, AgentLayer, and leading universities creates breakthrough in blockchain security verification