PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing

Algorithm 1

The query phase of verifiable contact tracing over an individual.

	ADS Generation (by the client)
	for each recordsover an individual of the client do
	;
	end
	;
	;
	Store in the client side;
	VO Construction (by the )
	Input: Query
	if then
	;
	;
	;
	;
	Send to the client;
	end
	Result Verification(by the client)
	if then
	if then
	Output:
	else
	Output:
	end
	end