Deep Neural Networks (DNNs) are applied in several safety-critical domains and their
trustworthiness is of paramount importance. For example, DNNs used in autonomous driving as …

Remote attestation is a method used in distributed systems to detect integrity violations on a
target device (prover) through a challenge–response protocol initiated by a verifier device. …

Deep Neural Networks (DNNs) are finding a place at the heart of more and more critical
systems, and it is necessary to ensure they perform in as correct a way as possible. Search-…

As DNNs are embedded in more and more critical systems, it is essential to ensure that they
perform well on specific inputs. DNN repair has shown good results in fixing specific …

Quantum cryptography promises information theoretic security of several cryptographic
primitives. Most of the proposed security proofs work in an ideal communication scenario where …

Quantum information processing has proven to be beneficial to several domains, including
security. Quantum Cryptography allows to construct unconditionally secure imple-mentations …

Low-power microcontrollers (MCU) are simple yet flexible devices employed in several
scenarios, from wearable Smart Devices to Industrial Applications. Despite their constrained …

Deep Neural Networks (DNNs) are increasingly used for critical tasks, such as classification
in autonomous driving, whose trustworthiness is extremely important. To guarantee …

A few years ago Hong et al.(Quantum Inf Process 16: 236, 2017) proposed a quantum
identity authentication protocol using single photons and executable on currently available …

Embedded Systems have gained much popularity in the last decade, and are currently
employed in a large range of applicative scenarios. You can find them in smart devices installed …