TwoTowers 4.0: towards the integration of security analysis and performance evaluation | IEEE Conference Publication | IEEE Xplore