Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee, Thomas Lemberger: The Intel TDX Module Benchmark Set. Zenodo 2025