معرفی
Samuele Buro is a researcher affiliated with the University of Verona. He actively contributes to academic conferences focusing on programming languages, static analysis, and formal methods. His work emphasizes multi-language program analysis, abstract interpretation, and security verification.
- Published in leading venues: Static Analysis Symposium (2020), ESOP (2019), VMCAI (2018)
- Research interests span cross-language interoperability, semantic security, and formal verification frameworks
His publications highlight technical rigor in addressing challenges in multi-language systems and abstract code injection vulnerabilities.
۰مقاله منتشرشده
