tdxdown Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX" For now, please see https://zenodo.org/records/12683611 for the submitted version of the artifact.