SecArch: Architecture-level Evaluation and Testing for Security | IEEE Conference Publication | IEEE Xplore