A Time And Place For Everything: Side-Channel Verification Using Co-Simulation