Proceedings of the 4th Workshop on System Software for Trusted Execution