Tom Chothia - RankMe

74 papers A* 7A 13B 2C 7Journal 9Unranked 36

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