Text this: Formal to Practical Security