2017 IEEE 2nd International Verification and Security Workshop (IVSW) Journal