Towards a Threat Model and Security Analysis for Contact Tracing Applications | IEEE Conference Publication | IEEE Xplore