SysTEX 2017 2nd Workshop on System Software for Trusted Execution / (ACM,)