“Security Notions for Bidirectional Channels” (2017) IACR Transactions on Symmetric Cryptology, 2017(1), pp. 405–426. doi:10.13154/tosc.v2017.i1.405-426.