Text this: Formal Aspects in Security and Trust