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

In submission