Trace EVM exploit transactions into Foundry fork PoCs.

Advanced cybersecurity reconnaissance and CVE-based vulnerability scanner with modular design and HTML/JSON reporting.

Web3 Security Case Studies & Tools | CTFs, and Audit Guides with MCU, Anime & Gaming Storytelling

Lancet is a formal framework for exploit analysis on Intel Pin and QEMU traces

Artifact Evaluation for the QLancet Project

Project for Security Verification and Testing Exam @ Polito - eBPF Vulnerability Analysis and Classification: an automated pipeline to identify security flaws and develop proof-of-concept exploits by systematically parsing over 260,000 CVE records.

Authorized exploit case studies and defensive postmortems

⚡ AI-powered blockchain transaction forensics and automated vulnerability localization for smart contracts across EVM chains.

Capstone project on Vulnerability Assessment, Penetration Testing (VAPT), and Digital Forensics. Includes methodology, tools, exploitation results, and forensic evidence collection.

Sanitized security case studies covering memory corruption, cryptography, SQL injection, and secure ATM design.

EVM smart contract exploit hunter agent

An educational proof-of-concept demonstrating low-level input interception via x64 assembly. Explores Windows API hooks, memory segmentation, calling conventions, and hardware/OS defenses (DEP, ASLR, CFG) for defensive security research.

Aegis — exploit-catalog-driven smart contract security auditing. Evaluate any target against a library of studied real-world DeFi exploits to find and fix vulnerabilities, with runnable PoCs.

SunloginLPE is a local verification and analysis tool designed to help researchers Sunlogin command execution vulnerability in a controlled, privilege-escalation, command-execution