Only pay for what you need: Detecting and removing unnecessary TEE-based code. - Yin Liu; Siddharth Dhar; Eli Tilevich (J. Syst. Softw., 2022)