Authenticated key exchange under bad randomness - Yang, G. (2014)
10.1007/978-3-642-27576-0_10