Verification for Security-Relevant Properties and Hyperproperties.

Teng Long, Guoqing Yao

Browse the full UIC paper archive.