Title:Secure Compute-and-Forward in a Bidirectional Relay

Abstract:Bidirectional relaying, where a relay helps two user nodes to exchange messages has been an active area of recent research. In the compute-and-forward strategy for bidirectional relaying, the relay computes a function of the two messages using the naturally-occurring sum of symbols simultaneously transmitted by user nodes in a Gaussian Multiple Access Channel (MAC), and the computed function value is forwarded to the user nodes in an ensuing broadcast phase. In this work, we consider the Gaussian MAC in bidirectional relaying with the messages taking values in a finite Abelian group and the relay computing the sum within the group under an additional secrecy constraint for protection against a honest but curious relay. The secrecy constraint is that, while the relay should decode the group sum, the individual message of each user should be perfectly secure from the relay. We exploit the symbol addition that occurs in a Gaussian MAC to design explicit modulations at the user nodes that achieve independence between the received symbols at the relay and each of the two individual transmitted messages under an average transmit power constraint. We provide a lattice coding strategy for reliable computation of the group sum at the relay with perfect secrecy, and study rate versus average power trade-offs in the large-dimension regime. Our results for secure compute-and-forward are significant because we achieve perfect security with finite average transmit power, and this has been done using a novel approach involving Fourier-analytic tools.