Reasoning About Inter-procedural Security Requirements in IoT Applications. - Mattia Paccamiccio; Leonardo Mostarda (AINA (3), 2022)

Light Communication for Controlling Industrial Robots. - Fadi M. Al-Turjman; Diletta Cacciagrano; Leonardo Mostarda; Mattia Paccamiccio; Zaib Ullah (CoRR, 2022)

Building call graph of WebAssembly programs via abstract semantics. - Mattia Paccamiccio; Franco Raimondi; Michele Loreti (ITASEC, 2024)