PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing

Table 2

Major notations in our algorithm.

Symbol	Description
	Dataset of records
	Location information
	Date of th record
	Dataset consists of all the
	Public key
	Cyclic multiplicative group
	Accumulation value
	String concatenation
	Proof of corresponding result
	Timestamp of
	Number of records
	Query result dataset
	Secret key
	Generator of group
	Security parameter
	The set of integers {1,…,n}