Researcher and Software Developer
Cross-Chain Extension of EVMLiSA and Access Control Checker
As part of my Master’s Degree internship at the University of Parma, I extended EVMLiSA to support cross-chain analysis, enabling vulnerability detection across multiple blockchain ecosystems and broadening the scope of the tool beyond single-chain environments.
I also designed and implemented a static checker for Access Control vulnerabilities, with a specific focus on Access Control Incompleteness in cross-chain bridge smart contracts, contributing to more robust and sound security analysis for emerging multi-chain architectures.