Verification for Security-Relevant Properties and Hyperproperties | IEEE Conference Publication | IEEE Xplore