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
New Progress in Blockchain Security: In-depth Exploration of Smart Contract SAST Technology
In summary, the systematic evaluation of SAST tools presented in the paper "Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?" (https://arxiv.org/pdf/2404.18186) reveals the current status and challenges of smart contract security detection technologies, while the MetaScan platform represents the forefront of technological innovation in this field.
Lesson Learned from ChatGPT Incident: Managing Open Source Vulnerabilities with MetaScan
OpenAI announced on March 24th that a weakness in the Redis client open-source library, redis-py, was responsible for the data breach. In addition to performing a thorough security assessment of smart contract code, MetaScan's Open Source Analyzer is specifically designed to pinpoint vulnerabilities in the open source software components utilized in the project.