A time and place for everything: Side-Channel verification using Co-Simulation - Ramesh Krishna Jayaraman (2022)