Proceedings of the 1st Workshop on System Software for Trusted Execution