A strange volume named xART or xarts, secure memory management, and long random numbers: how they fit together to protect against replay attacks.