Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange.Ran Canetti, Sebastian GajekPublished Jan 1, 2010• 17 citationsOpenAlex