Tom Chothia
Research
Publications
Disclosures
Press
Teaching
Contact
Dark
Publications
Google Scholar
DBLP
Research threads
All
Domain
Payments & EMV
OS & anti-cheat
Protocols
Rail & ICS
Information leakage
Security education
Approach
Attack research
Formal modelling & verification
Concurrency & process calculi