PvCT: A Publicly Verifiable Contact Tracing Algorithm in Cloud Computing

Algorithm 2

The matching phase of verifiable contact tracing over an individual.

	ADS Generation (by the authorities)
	for each recordsof diagnosed people do
	;
	end
	;
	;
	Public ;
	VO Construction (by the )
	Input:
	while
	do
	if then
	;
	;
	;
	Send to the client;
	else
	if then
	;
	;
	;
	Send to the client;
	else
	;
	Send to the client;
	end
	end
	end
	Result Verification (by the client)
	if then
	;
	;
	;
	Output b;
	else
	;
	;
	;
	Output b;
	end