
aether
AI Smart Contract Security Analysis and PoC Generation Framework
ai-securitybinary-analysiscryptography+7
654 months ago

AI Smart Contract Security Analysis and PoC Generation Framework

Stack overflow in LibXMP

Security research and reproduction of CVE-2025-5548: A stack-based buffer overflow in FreeFloat FTP Server 1.0. Includes binary analysis, crash…

Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…

Cake Fuzzer is a project that is meant to help automatically and continuously discover vulnerabilities in web applications created based on specific…