1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.CR2022★ 1 cited
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…
cs.RO2022★ 1 cited
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…
quant-ph2021
Quantum Consensus: an overview
Marco Marcozzi, Leonardo Mostarda
We review the literature about reaching agreement in quantum networks, also called quantum consensus. After a brief introduction to the key feature of quantum computing, allowing t…