Text this: Formal Aspects of Security and Trust