Covert and Reliable Short-Packet Communications against A Proactive Warder | IEEE Conference Publication | IEEE Xplore