On the construction of digest functions for manual authentication protocols (Under preparation, 2011)

(untitled) - Nguyen, L; Roscoe, A