Trace-based schedulability analysis to enhance passive side-channel attack resilience of embedded software
Formalization of the reschedulability based countermeasure against side channel attacks through Foata Normal Form. Definition of a flexible scheduling algorithm able to achieve higher instruction mobility. Definition of an efficiently computable lower bound for the number of schedules obtainable and a flexible rescheduling strategy. Practical implementation of the technique and validation on all the ISO standard block ciphers.
side-channel attacks compilers cryptography trace theory embedded systems security