Formal to Practical Security