This paper presents LIRA-V, a lightweight system for performing remote
attestation between constrained devices using the RISC-V architecture. It
proposes using the RISC-V Physical Memory Protection (PMP) primitive and
read-only memory to build a trust anchor for remote attestation and secure
channel creation. Moreover, we go beyond existing work and propose a novel
bi-directional attestation protocol for trusted device-to-device communication,
which is subjected to formal symbolic verification using Scyther. We present
the design, implementation and evaluation of LIRA-V using an off-the-shelf
RISC-V microcontroller and present performance results to demonstrate its
suitability. To our knowledge, we present the first remote attestation
mechanism suitable for constrained RISC-V devices, with applications to the
Internet of Things (IoT) and Cyber Physical Systems (CPS).

Go to Source of this post
Author Of this post: <a href="http://arxiv.org/find/cs/1/au:+Shepherd_C/0/1/0/all/0/1">Carlton Shepherd</a>, <a href="http://arxiv.org/find/cs/1/au:+Markantonakis_K/0/1/0/all/0/1">Konstantinos Markantonakis</a>, <a href="http://arxiv.org/find/cs/1/au:+Jaloyan_G/0/1/0/all/0/1">Georges-Axel Jaloyan</a>

By admin