Keynote I: Hardware security — Verification, test, and defense mechanisms | IEEE Conference Publication | IEEE Xplore