Anna Clee School of Computer ScienceResearch Student Contact details AddressSchool of Computer ScienceUniversity of BirminghamEdgbastonBirminghamB15 2TT Qualifications BSc Mathematics MSc Computer Science Teaching Forensics, Malware, and Penetration Testing Doctoral research PhD titleFormal Analysis of EMV card payment protocolsSupervisorsProfessor Tom Chothia and Dr Eike Ritter Research Formal Verification and analysis of Protocols, EMV card security