2018 IEEE 3rd International Verification and Security Workshop (IVSW)