Secure Generic Remote Workflow Execution with TEEs (Proceedings of the 2nd Workshop on Workflows in Distributed Environments)