selected publications conference paper TeeBench: Seamless Benchmarking in Trusted Execution Environments. . 2023