RT DF A1 Gollamudi, Anitha. T1 Secure-by-Construction Applications Using Trusted Execution Environments