41st IEEE Symposium on Security and Privacy (Workshop on Assured Autonomous Systems, WAAS 2020)