Pierre-Alain Fouque David Pointcheval Sébastien Zimmer HMAC is a randomness extractor and applications to TLS. 21-32 2008 ASIACCS http://doi.acm.org/10.1145/1368310.1368317 conf/ccs/2008asia db/conf/ccs/asiaccs2008.html#FouquePZ08