A Semantic Framework for Secure and Efficient Contact Tracing of Infectious Diseases | IEEE Conference Publication | IEEE Xplore