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