INACTIVE - http://mzl.la/ghe-archive - NICAR 2015 presentation on topics like 2FA and software verification - View it on GitHub