PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing. (2nd June 2021)