Practical Provably Secure Communication for Half-Duplex Radios | IEEE Conference Publication | IEEE Xplore