#SAT-based vulnerability analysis of security components — A case study | IEEE Conference Publication | IEEE Xplore