Secure Two-Party Computation is Practical. - Benny Pinkas; Thomas Schneider 003; Nigel P. Smart; Stephen C. Williams (IACR Cryptol. ePrint Arch., 2009)

Composability of bellare-rogaway key exchange protocols. - Christina Brzuska; Marc Fischlin; Bogdan Warinschi; Stephen C. Williams (CCS, 2011)

Analysis of the SSH Key Exchange Protocol. - Stephen C. Williams (IACR Cryptol. ePrint Arch., 2011)

On the security of key exchange protocols. - Stephen C. Williams (2011)

Less is More: Relaxed yet Composable Security Notions for Key Exchange. - Christina Brzuska; Marc Fischlin; Nigel P. Smart; Bogdan Warinschi; Stephen C. Williams (IACR Cryptol. ePrint Arch., 2012)