|| Explicit Design of Provably Covert Channel Codes
||Shi-Yuan Wang, Matthieu R. Bloch, Georgia Institute of Technology, United States|
||D1-S3-T4: Covert Communication
||Monday, 12 July, 22:40 - 23:00
||Monday, 12 July, 23:00 - 23:20
We design an explicit code ensuring provably covert communication over Binary Symmetric Channels (BSCs). This design complements an earlier work that provides a methodology for asymptotic optimal performance but falls short of offering explicit details for operation at finite block length. In particular, we show how to preserve covertness guarantees when facing the unavoidable compromises required by finite block length operation. Compared to the reference scheme without sophisticated coding, our scheme offers orders of magnitude savings in secret key bits. Key ingredients of our design include polar codes for source coding and invertible extractors.