Marson, Giorgia Azzurra, and Bertram Poettering. “Security Notions for Bidirectional Channels”. IACR Transactions on Symmetric Cryptology, vol. 2017, no. 1, Mar. 2017, pp. 405-26, doi:10.13154/tosc.v2017.i1.405-426.