High-Performance Computing for Formal Security Assessment