@misc{cryptoeprint:2012:181, author = {Nils Fleischhacker and Mark Manulis and Amir Sadr-Azodi}, title = {Modular Design and Analysis Framework for Multi-Factor Authentication and Key Exchange}, howpublished = {Cryptology ePrint Archive, Report 2012/181}, year = {2012}, url = {http://eprint.iacr.org/2012/181}, }