Widespread adoption and growing popularity of embedded/IoT/CPS devices m...
Low-end embedded devices are increasingly used in various smart applicat...
Recent advances in deep neural networks (DNNs) have significantly enhanc...
The increase in the adoption of blockchain technology in different
appli...
Embedded devices are increasingly ubiquitous and their importance is har...
Anomaly detection has emerged as a popular technique for detecting malic...
We propose Remote Attestation with TOCTOU Avoidance (RATA): a provably s...
Implementation flaws in cryptographic libraries, design flaws in algorit...
Modern society is increasingly surrounded by, and accustomed to, a wide ...
In this work, we take the first step towards formal verification of RA b...
Secure firmware update is an important stage in the IoT device life-cycl...