End-to-end security validation of IoT systems based on digital twins of end-devices | IEEE Conference Publication | IEEE Xplore