On the Secrecy Gain of Formally Unimodular Construction A4 Lattices | IEEE Conference Publication | IEEE Xplore