Explicit Design of Provably Covert Channel Codes | IEEE Conference Publication | IEEE Xplore