1 citations · 2 across the 3 of their papers we have counts for
3 papers
Building Call Graph of WebAssembly Programs via Abstract Semantics
Mattia Paccamiccio, Franco Raimondi, Michele Loreti
WebAssembly is a binary format for code that is gaining popularity thanks to its focus on portability and performance. Currently, the most common use case for WebAssembly is execut…
Reasoning about inter-procedural security requirements in IoT applications
Mattia Paccamiccio, Leonardo Mostarda
The importance of information security dramatically increased and will further grow due to the shape and nature of the modern computing industry. Software is published at a continu…
Light Communication for Controlling Industrial Robots
Fadi Al-Turjman, Diletta Cacciagrano, Leonardo Mostarda +2
Optical Wireless Communication (OWC) is regarded as an auspicious communication approach that can outperform the existing wireless technology. It utilizes LED lights, whose subtle…