I research and build security testing tools that break complex software systems. My research sits at the intersection of cybersecurity, software engineering, and AI, spanning coverage-guided fuzzing, GraphQL security testing, and AI security, with recent work on the adversarial evaluation of VLMs and VLA models. In my spare time, I step outside my comfort zone by competing in and winning hackathons across AI, DeFi, and blockchain, challenging myself with difficult problems in unfamiliar domains. I hold a PhD in Computer Science from the University of Catania, where my research focused on improving security testing techniques, including fuzzing of multi-process software in Linux, GraphQL API testing, and other approaches for advancing the automation and effectiveness of security testing.
Highlights
- Pro
Pinned Loading
-
Adaptive-Oversight-Subversion
Adaptive-Oversight-Subversion Public[M³ Fellowship 2026] An experimental pipeline built on Inspect Petri to study how models adapt when a CoT monitor blocks their actions
Python
-
LibAFLstar/LibAFLstar
LibAFLstar/LibAFLstar PublicMain repo for ESORICS 2025 paper “LibAFLstar: Fast, State-aware Protocol Fuzzing”
-
AI-CVE-Analyser
AI-CVE-Analyser PublicArtifact for the paper "AI-related Vulnerabilities within CVEs: Are We Ready Yet? A Study of Vulnerability Disclosure in AI Products" accepted at AISec'25 co-located with ACM CCS
Python 2
-
EuLibra
EuLibra PublicForked from euler-xyz/euler-swap
[3rd place in the EulerSwap Builder Competition] Code base for the Eulibra project. It provides a suite of tools for balancing the market: an arbitrage bot for users and a market rebalancer bot
If the problem persists, check the GitHub status page or contact support.





