Efficient Verifiable Cloud-Assisted PSI Cardinality for Privacy-Preserving Contact Tracing | IEEE Journals & Magazine | IEEE Xplore