Slide 1The TAOS Authentication System: Reasoning Formally About Security Brad Karp UCL Computer Science CS GZ03 / 4030 3 rd December, 2007 Slide 2 2 Motivation: Building…