Concepedia

Tom Chothia

TC

25

Publications

868

Citations

16

H-Index

2001

Active since

Affiliations

University of Birmingham(Current)

Centrum Wiskunde & Informatica

Radboud University Nijmegen

University of Surrey

Tom Chothia is an author at University of Birmingham specializing in engineering, computer science, and information security.

Top concepts

EngineeringComputer ScienceSystems EngineeringInformation SecurityData SecurityCryptographyFormal MethodsFormal VerificationData PrivacyHardware Security

Publications per year

2001–2022

25

Publications

25

Analysing Unlinkability and Anonymity Using the Applied Pi Calculus

Myrto Arapinis, Tom Chothia, Eike Ritter et al. · 2010 · 126 citations

Engineering, Information Security, Law +18

GAZE: A Generic Framework for the Integration of Gene-Prediction Data by Dynamic Programming

Kevin Howe, Tom Chothia, Richard Durbin · Genome Research · 2002 · 93 citations · Full text

On the (in)security of the latest generation implantable cardiac defibrillators and how to secure them

Eduard Marin, Dave Singelée, Flavio D. Garcia et al. · 2016 · 93 citations

Body Area Network, Engineering, Device Therapy +23

Metrics for Action-labelled Quantitative Transition Systems

Yuxin Deng, Tom Chothia, Catuscia Palamidessi et al. · Electronic Notes in Theoretical Computer Science · 2006 · 79 citations · Full text

Engineering, Verification, Non-quantitative Systems +16

Time Protection

Qian Ge, Yuval Yarom, Tom Chothia et al. · 2019 · 58 citations · Full text

Memory Protection, Engineering, Operating Systems +13

Rows per page

1–5 of 25