A Semantic Framework for Secure and Efficient Contact Tracing of Infectious Diseases. - Payton Schubel; Zhiyuan Chen 003; Adina Crainiceanu; Karuna P. Joshi; Don Needham (BIBM, 2021)