VS-TEE: A Framework for Virtualizing TEEs in ARM Cloud Contexts. - Matteo Zoia; Marco Cutecchia; Davide Rusconi; Andrea Monzani; Mirco Picca; Danilo Bruschi; Andrea Lanzi (CODASPY, 2025)