Tom Chothia

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 34

Top Topics

Security Analysis

Communication Protocols

Malware Detection

Top Venues

Financial Cryptography

ASE @ USENIX Security Symposium

Publications

Abdulla Aldoseri, Tom Chothia, José Moreira, David F. Oswald
Symbolic modelling of remote attestation protocols for device and app integrity on Android. AsiaCCS (2023)
Chris McMahon Stone, Sam L. Thomas, Mathy Vanhoef, James Henderson, Nicolas Bailluet, Tom Chothia
The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning. CCS (2022)
Andreea-Ina Radu, Tom Chothia, Christopher J. P. Newton, Ioana Boureanu, Liqun Chen
Practical EMV Relay Protection. IEEE Symposium on Security and Privacy (2022)
Chris McMahon Stone, Sam L. Thomas, Mathy Vanhoef, James Henderson, Nicolas Bailluet, Tom Chothia
The Closer You Look, The More You Learn: A Grey-box Approach to Protocol State Machine Learning. CoRR (2021)
Rajiv Ranjan Singh, José Moreira, Tom Chothia, Mark Dermot Ryan
Modelling of 802.11 4-Way Handshake Attacks and Analysis of Security Properties. STM (2020)
Richard J. Thomas, Tom Chothia
Learning from Vulnerabilities - Categorising, Understanding and Detecting Weaknesses in Industrial Control Systems. CyberICPS/SECPRE/ADIoT@ESORICS (2020)
Richard J. Thomas, Joseph Gardiner, Tom Chothia, Emmanouil Samanis, Joshua Perrett, Awais Rashid
Catch Me If You Can: An In-Depth Study of CVE Discovery Time and Inconsistencies for Managing Risks in Critical Infrastructures. CPSIOTSEC@CCS (2020)
Ioana Boureanu, Tom Chothia, Alexandre Debant, Stéphanie Delaune
Security Analysis and Implementation of Relay-Resistant Contactless Payments. CCS (2020)
Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
Time Protection: The Missing OS Abstraction. EuroSys (2019)
Tom Chothia, Chris Novakovic, Andreea-Ina Radu, Richard J. Thomas
Choose Your Pwn Adventure: Adding Competition and Storytelling to an Introductory Cybersecurity Course. Trans. Edutainment 15 (2019)
Tom Chothia, Ioana Boureanu, Liqun Chen
Short Paper: Making Contactless EMV Robust Against Rogue Readers Colluding with Relay Attackers. Financial Cryptography (2019)
Tom Chothia, Stefan-Ioan Paiu, Michael Oultram
Phishing Attacks: Learning by Doing. ASE @ USENIX Security Symposium (2018)
Qian Ge, Yuval Yarom, Tom Chothia, Gernot Heiser
Time Protection: the Missing OS Abstraction. CoRR (2018)
Chris McMahon Stone, Tom Chothia, Joeri de Ruiter
Extending Automated Protocol State Learning for the 802.11 4-Way Handshake. ESORICS (1) (2018)
Sebastian Vasile, David F. Oswald, Tom Chothia
Breaking All the Things - A Systematic Survey of Firmware Extraction Techniques for IoT Devices. CARDIS (2018)
Tom Chothia, Joeri de Ruiter, Ben Smyth
Modelling and Analysis of a Hierarchy of Distance Bounding Attacks. USENIX Security Symposium (2018)
Tom Chothia, Flavio D. Garcia, Chris Heppel, Chris McMahon Stone
Why Banker Bob (Still) Can't Get TLS Right: A Security Analysis of TLS in Leading UK Banking Apps. Financial Cryptography (2017)
Mohammad Mahdi Jaghoori, Frank S. de Boer, Delphine Longuet, Tom Chothia, Marjan Sirjani
Compositional schedulability analysis of real-time actor-based systems. Acta Informatica 54 (4) (2017)
Nada Alruhaily, Tom Chothia, Behzad Bordbar
A Better Understanding of Machine Learning Malware Misclassifcation. ICISSP (Revised Selected Papers) (2017)
Richard J. Thomas, Mihai Ordean, Tom Chothia, Joeri de Ruiter
TRAKS: A Universal Key Management Scheme for ERTMS. ACSAC (2017)
Sam L. Thomas, Tom Chothia, Flavio D. Garcia
Stringer: Measuring the Importance of Static Data Comparisons to Detect Backdoors and Undocumented Functionality. ESORICS (2) (2017)
Tom Chothia, Sam Holdcroft, Andreea-Ina Radu, Richard J. Thomas
Jail, Hero or Drug Lord? Turning a Cyber Security Course Into an 11 Week Choose Your Own Adventure Story. ASE @ USENIX Security Symposium (2017)
Sam L. Thomas, Flavio D. Garcia, Tom Chothia
HumIDIFy: A Tool for Hidden Functionality Detection in Firmware. DIMVA (2017)
Ivan Gazeau, Tom Chothia, Dominic Duggan
Types for Location and Data Security in Cloud Environments. CoRR (2017)
Nada Alruhaily, Carlos Joseph Mera-Gómez, Tom Chothia, Rami Bahsoon
A Market-Based Approach for Detecting Malware in the Cloud via Introspection. ICSOC (2017)
Nada Alruhaily, Behzad Bordbar, Tom Chothia
Towards an Understanding of the Misclassification Rates of Machine Learning-based Malware Detection Systems. ICISSP (2017)
Chris McMahon Stone, Tom Chothia, Flavio D. Garcia
Spinner: Semi-Automatic Detection of Pinning without Hostname Verification. ACSAC (2017)
Tom Chothia, Mihai Ordean, Joeri de Ruiter, Richard J. Thomas
An Attack Against Message Authentication in the ERTMS Train to Trackside Communication Protocols. AsiaCCS (2017)
Ivan Gazeau, Tom Chothia, Dominic Duggan
Types for Location and Data Security in Cloud Environments. CSF (2017)
Tom Chothia, Joeri de Ruiter
Learning From Others' Mistakes: Penetration Testing IoT Devices in the Classroom. ASE @ USENIX Security Symposium (2016)
Eduard Marin, Dave Singelée, Flavio D. Garcia, Tom Chothia, Rik Willems, Bart Preneel
On the (in)security of the latest generation implantable cardiac defibrillators and how to secure them. ACSAC (2016)
Giannis Tziakouris, Rami Bahsoon, Tom Chothia, Rajkumar Buyya
Thwarting Market Specific Attacks in Cloud. CLOUD (2016)
Joeri de Ruiter, Richard J. Thomas, Tom Chothia
A Formal Security Analysis of ERTMS Train to Trackside Protocols. RSSRail (2016)
Giannis Tziakouris, Marios Zinonos, Tom Chothia, Rami Bahsoon
Asset-centric Security-Aware Service Selection. BigData Congress (2016)
Tom Chothia, Flavio D. Garcia, Joeri de Ruiter, Jordi van den Breekel, Matthew Thompson
Relay Cost Bounding for Contactless EMV Payments. Financial Cryptography (2015)
Nada Alruhaily, Behzad Bordbar, Tom Chothia
Analysis of Mobility Algorithms for Forensic Virtual Machine Based Malware Detection. TrustCom/BigDataSE/ISPA (1) (2015)
Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh
Calculating Quantitative Integrity and Secrecy for Imperative Programs. Int. J. Secur. Softw. Eng. 6 (2) (2015)
Tom Chothia, Ben Smyth, Christopher Staite
Automatically Checking Commitment Protocols in ProVerif without False Attacks. POST (2015)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic
LeakWatch: Estimating Information Leakage from Java Programs. ESORICS (2) (2014)
Tom Chothia, Chris Novakovic, Rajiv Ranjan Singh
Automatically Calculating Quantitative Integrity Measures for Imperative Programs. DPM/SETOP/QASA (2014)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic
A Tool for Estimating Information Leakage. CAV (2013)
Tom Chothia, Yusuke Kawamoto, Chris Novakovic, David Parker
Probabilistic Point-to-Point Information Leakage. CSF (2013)
Jay Young, Fran Smith, Christopher Atkinson, Ken Poyner, Tom Chothia
SCAIL: An integrated Starcraft AI system. CIG (2012)
Tom Chothia, Marco Cova, Chris Novakovic, Camilo González Toro
The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent. SecureComm (2012)
Tom Chothia, Apratim Guha
A Statistical Test for Information Leaks Using Continuous Mutual Information. CSF (2011)
Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha
Statistical Measurement of Information Leakage. TACAS (2010)
Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. CSF (2010)
Mohammad Mahdi Jaghoori, Tom Chothia
Timed Automata Semantics for Analyzing Creol FOCLASA (2010)
Tom Chothia, Vitaliy Smirnov
A Traceability Attack against e-Passports. Financial Cryptography (2010)
Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori
Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN (2009)
Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan
Untraceability in the applied pi-calculus. ICITST (2009)
Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef
From Coordination to Stochastic Models of QoS. COORDINATION (2009)
Tien Tuan Anh Dinh, Tom Chothia, Mark Ryan
A Trusted Infrastructure for P2P-based Marketplaces. Peer-to-Peer Computing (2009)
Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani
Schedulability of asynchronous real-time concurrent objects. J. Log. Algebraic Methods Program. 78 (5) (2009)
Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia
Schedulability and Compatibility of Real Time Asynchronous Objects. RTSS (2008)
Tom Chothia
Securing pseudo identities in an anonymous peer-to-peer file-sharing network. SecureComm (2007)
Tom Chothia, Jun Pang, Muhammad Torabi Dashti
Keeping Secrets in Resource Aware Components. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon
Component Connectors with QoS Guarantees. COORDINATION (2007)
Tom Chothia, Jetty Kleijn
Q-Automata: Modelling the Resource Usage of Concurrent Components. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)
Tom Chothia, Dominic Duggan, Ye Wu
An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 171 (4) (2007)
Tom Chothia, Dominic Duggan
Capability passing processes. Sci. Comput. Program. 66 (3) (2007)
Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
Metrics for Action-labelled Quantitative Transition Systems. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti
CRL. TGC (2006)
Tom Chothia, Dominic Duggan
Capability-Passing Processes. Electron. Notes Theor. Comput. Sci. 154 (1) (2006)
Tom Chothia
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. FORTE (2006)
Tom Chothia, Konstantinos Chatzikokolakis
A Survey of Anonymous Peer-to-Peer File-Sharing. EUC Workshops (2005)
Tom Chothia, Dominic Duggan
Type-Based Distributed Access Control vs. Untyped Attackers. Formal Aspects in Security and Trust (2005)
Tom Chothia, Dominic Duggan
Abstractions for fault-tolerant global computing. Theor. Comput. Sci. 322 (3) (2004)
Tom Chothia, Dominic Duggan, Jan Vitek
Type-Based Distributed Access Control. CSFW (2003)
Tom Chothia, Ian Stark
Encoding Distributed Areas and Local Communication into the pi-Calculus. EXPRESS (2001)
Tom Chothia, Ian Stark
A Distributed Pi-Calculus with Local Areas of Communication. Electron. Notes Theor. Comput. Sci. 41 (2) (2000)