Secure and trusted white-box verification. - Yixian Cai; George Karakostas; Alan Wassyng (CoRR, 2016)

Secure and trusted partial grey-box verification. - Yixian Cai; George Karakostas; Alan Wassyng (Int. J. Inf. Sec., 2019)