Interface-Based Side Channel in TEE-Assisted Networked Services | IEEE Journals & Magazine | IEEE Xplore