TY  - RPRT
TI  - Secure and trusted white-box verification
AU  - Yixian Cai
AU  - George Karakostas
AU  - Alan Wassyng
PY  - 2016
UR  - https://arxiv.org/abs/1605.03932
ID  - 1605.03932
ER  -