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).

By admin