Proving IoT Devices Firmware Integrity With Bijective MAC Time Stamped

This demonstration presents an innovative bijective MAC Time Stamped algorithm (bMAC_TS), running in an Arduino Nano, whose code is open and published. The goal of bMAC_TS is to detect corrupted software (especially bootloader) in IoT devices. It relies on two pillars: the memory space is finite and the computing time is stable. This algorithm computes a memory fingerprint with a hash function, according to a pseudo random order, fixed by a permutation P. The time required by this operation, following a normal distribution, is exored with the fingerprint.