TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation