Chothia, Tom - School of Computer Science, University of Birmingham

Advanced Search

Chothia, Tom - School of Computer Science, University of Birmingham

Calculating Probabilistic Anonymity from Sampled Data Konstantinos Chatzikokolakis
Security Response Introduction ....................................................... 1
A Traceability Attack Against e-Passports Tom Chothia and Vitaliy Smirnov
Type-Based Distributed Access Control (Extended Abstract)
Type-Based Distributed Access Control vs. Untyped Attackers
Untraceability in the applied pi-calculus Myrto Arapinis Tom Chothia Eike Ritter Mark Ryan
Securing Pseudo Identities in an Anonymous Peer-to-Peer File-Sharing Network
Science of Computer Programming 66 (2007) 184204 www.elsevier.com/locate/scico
Statistical Measurement of Information Leakage
EXPRESS 2001 Preliminary Version Encoding Distributed Areas and Local
COMPUTER SECURITY revision list Subject Notes
A Distributed Calculus with Local Areas of Communication Tom Chothia Ian Stark
Draft: A Distributed Calculus with Localised Areas of Communication
A non-deterministic functional language. Candidate No. D4598
GAZE: A Generic Framework for the Integration of Gene-Prediction Data by Dynamic Programming
Analysing the MUTE Anonymous File-Sharing System Using the Pi-calculus
Statistical Measurement of Information Leakage Konstantinos Chatzikokolakis1
A Framework for Automatically Checking Anonymity with CRL
Capability-Passing Processes Tom Chothia
Calculating Probabilistic Anonymity from Sampled Data Konstantinos Chatzikokolakis
Statistical Measurement of Information Leakage Michael Yip
Security Engineering: A Guide to Building Dependable Distributed Systems Access Control
A Framework for Automatically Checking Anonymity with CRL (pre-print version)
Analysing Unlinkability and Anonymity Using the Applied Pi Calculus Myrto Arapinis, Tom Chothia, Eike Ritter and Mark Ryan
TPG: Computation and Logic Jim Laird
/* This program encrypts the file given as the first command line argument as the file given * as the second command line argument.
A Statistical Test for Information Leaks Using Continuous Mutual Information
Computer Security Questionnaire Please fill this in and bring it along to your introduction meeting, which will be in room