Stopping replays: nonces, time and binding to the request · ClavisAUH