Secure Group Testing

TL;DR

This paper introduces a new information-theoretic secure group testing scheme that ensures privacy against eavesdroppers, characterizes the secure testing capacity, and analyzes test requirements for different decoding algorithms under secrecy constraints.

Contribution

It proposes a novel secure group testing design based on information theory, providing capacity characterization and analyzing test complexity for different decoders under eavesdropper observation.

Findings

The secure testing scheme maintains privacy with minimal additional tests.

Capacity of secure group testing is fully characterized.

Test requirements increase by a factor of 1/(1-δ) or 1/(1/2-δ) depending on the decoder.

Abstract

The principal goal of Group Testing (GT) is to identify a small subset of "defective" items from a large population, by grouping items into as few test pools as possible. The test outcome of a pool is positive if it contains at least one defective item, and is negative otherwise. GT algorithms are utilized in numerous applications, and in many of them maintaining the privacy of the tested items, namely, keeping secret whether they are defective or not, is critical. In this paper, we consider a scenario where there is an eavesdropper (Eve) who is able to observe a subset of the GT outcomes (pools). We propose a new non-adaptive Secure Group Testing (SGT) scheme based on information-theoretic principles. The new proposed test design keeps the eavesdropper ignorant regarding the items' status. Specifically, when the fraction of tests observed by Eve is $0 \leq \delta <1$, we prove that with the naive Maximum Likelihood (ML) decoding algorithm the number of tests required for both correct reconstruction at the legitimate user (with high probability) and negligible information leakage to Eve is $\frac{1}{1-\delta}$ times the number of tests required with no secrecy constraint for the fixed $K$ regime. By a matching converse, we completely characterize the Secure GT capacity. Moreover, we consider the Definitely Non-Defective (DND) computationally efficient decoding algorithm, proposed in the literature for non-secure GT. We prove that with the new secure test design, for $\delta < 1/2$, the number of tests required, without any constraint on $K$, is at most $\frac{1}{1/2-\delta}$ times the number of tests required with no secrecy constraint.