Composable Security of Distributed Symmetric Key Exchange Protocol. (arXiv:2304.13789v1 [cs.CR])

The Distributed Symmetric Key Exchange (DSKE) protocol provides secure secret
exchange (e.g., for key exchange) between two honest parties that need not have
had prior contact, and use intermediaries with whom they each securely share
confidential data. We show the composable security of the DSKE protocol in the
constructive cryptography framework of Maurer. Specifically, we prove the
security (correctness and confidentiality) and robustness of this protocol
against any computationally unbounded adversary, who additionally may have
fully compromised a bounded number …

adversary communication compromised confidential confidentiality correctness cryptography data distributed exchange framework key may protocol prove robustness secret security share symmetric