Securing Interruptible Enclaves

POPL 2020