Maiara F. Bollauf, Hsuan-Yin Lin, and Øyvind Ytrehus. 2023. “Formally Unimodular Packings for the Gaussian Wiretap Channel” to appear in IEEE Transactions on Information Theory.