Exploiting Timing Side-Channels in Multi-Mode Real-Time Systems

In submission. The title has been changed for anonymity requirements