Demo Abstract: An Industrial Control System Testbed for the Encrypted Controller | IEEE Conference Publication | IEEE Xplore