Nils Fleischhacker, Mark Manulis, Amir Azodi: A Modular Framework for Multi-Factor Authentication and Key Exchange. SSR 2014: 190-214