Keynote address: Design of secure systems — Where are the EDA tools? | IEEE Conference Publication | IEEE Xplore