Use of Static-Static Elliptic Curve Diffie-Hellman Key Agreement in Cryptographic Message Syntax

After a long period of inactivity, I am pleased to report signs of life for two of my papers-- and a tech report, besides.

My paper with Ran Canetti, Universally Composable Symbolic Analysis of Mutual Authentication and Key Exchange Protocols, has been accepted for publication by the Journal of Cryptography ...