Locally Testable Privacy-Preserving Contact Tracing Protocol Without Exposing Secret Seed | IEEE Conference Publication | IEEE Xplore