The TAOS Authentication System: Reasoning Formally About Security Brad Karp UCL Computer Science CS GZ03 / 4030 3 rd December, 2007.
