Linked Presentation: Secured Routines: Language-based Construction of Trusted Execution EnvironmentsR2P2: Making RPCs first-class datacenter citizens
