Nils Fleischhacker, Mark Manulis, Amir Azodi. Modular Design and Analysis Framework for Multi-Factor Authentication and Key Exchange. IACR Cryptology ePrint Archive, 2012:181, 2012. [doi]
@article{FleischhackerMS12, title = {Modular Design and Analysis Framework for Multi-Factor Authentication and Key Exchange}, author = {Nils Fleischhacker and Mark Manulis and Amir Azodi}, year = {2012}, url = {http://eprint.iacr.org/2012/181}, note = {informal publication}, researchr = {https://researchr.org/publication/FleischhackerMS12}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2012}, pages = {181}, }