CHERI-TrEE: Flexible enclaves on capability machines. - Thomas Van Strydonck; Job Noorman; Jennifer Jackson; Leonardo Alves Dias; Robin Vanderstraeten; David F. Oswald; Frank Piessens; Dominique Devriese (EuroS&P, 2023)