Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche