Chris Karlof J. D. Tygar David Wagner Conditioned-safe ceremonies and a user study of an application to web authentication. 2009 SOUPS http://doi.acm.org/10.1145/1572532.1572578 conf/soups/2009 db/conf/soups/soups2009.html#KarlofTW09