High robustness requirements in a Common Criteria protection profile | IEEE Conference Publication | IEEE Xplore