Reimplementing SMART: a Practical Remote Attestation Example for Embedded Devices
MAC0499 - TRABALHO DE FORMATURA (UNDERGRADUATE THESIS)
STUDENT: Gabriel Capella SUPERVISOR: Alfredo Goldman
Remote attestation is a method of verifying the integrity of a remote device. This work aims to study this monitoring area focused on embedded devices. It contains a bibliographical review of the most recent articles in the area and, among them, a specific article called SMART: Secure and Minimal Architecture for (Establishing a Dynamic) Root of Trust. Because it is a reference in the remote attestation study area and it has served as the basis for several publications, this all the steps of the article are remade in this work. Besides, a prototype was created in an FPGA to test whether the suggested implementation works. To test if this prototype works in a real scenario, it has been connected to the Internet. To respond to requests from this device and perform the remote attestation on it, a specific server has been developed. Also, attacks were simulated on the device and in the communication channel. All attacks were successfully identified.