Text this: Formal aspects in security and trust :