Education

2026

M.S. in Computer ScienceSep. 2024 ‑ Jul. 2026

Thesis title: Static Detection of Access Control Incompleteness in EVM Smart Contracts: Relational Taint Analysis for Cross‑Chain Bridges. · University of Parma, Italy · 110/110 cum laude

static-analysis abstract-interpretation software-verification EVMLiSA

Thesis available

2024

B.S. in Computer ScienceSep. 2021 ‑ Jul. 2024

Thesis title: Construction of sound Control‑Flow Graphs for bytecode EVM. · University of Parma, Italy · 108/110

static-analysis abstract-interpretation EVMLiSA

Thesis available