The IoTAC Software Security-by-Design Platform: Concept, Challenges, and Preliminary Overview | IEEE Conference Publication | IEEE Xplore