Tom Chothia

	2011
27		Tom Chothia, Apratim Guha: A Statistical Test for Information Leaks Using Continuous Mutual Information. CSF 2011: 177-190
	2010
26		Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan: Analysing Unlinkability and Anonymity Using the Applied Pi Calculus. CSF 2010: 107-121
25		Mohammad Mahdi Jaghoori, Tom Chothia: Timed Automata Semantics for Analyzing Creol FOCLASA 2010: 108-122
24		Tom Chothia, Vitaliy Smirnov: A Traceability Attack against e-Passports. Financial Cryptography 2010: 20-34
23		Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha: Statistical Measurement of Information Leakage. TACAS 2010: 390-404
	2009
22		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: 268-287
21		Frank S. de Boer, Tom Chothia, Mohammad Mahdi Jaghoori: Modular Schedulability Analysis of Concurrent Objects in Creol. FSEN 2009: 212-227
20		Myrto Arapinis, Tom Chothia, Eike Ritter, Mark Ryan: Untraceability in the applied pi-calculus. ICITST 2009: 1-6
19		Tien Tuan Anh Dinh, Tom Chothia, Mark Ryan: A Trusted Infrastructure for P2P-based Marketplaces. Peer-to-Peer Computing 2009: 151-154
18		Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani: Schedulability of asynchronous real-time concurrent objects. J. Log. Algebr. Program. 78(5): 402-416 (2009)
	2008
17		Mohammad Mahdi Jaghoori, Delphine Longuet, Frank S. de Boer, Tom Chothia: Schedulability and Compatibility of Real Time Asynchronous Objects. IEEE Real-Time Systems Symposium 2008: 70-79
	2007
16		Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon: Component Connectors with QoS Guarantees. COORDINATION 2007: 286-304
15		Tom Chothia: Securing pseudo identities in an anonymous peer-to-peer file-sharing network. SecureComm 2007: 279-282
14		Tom Chothia, Dominic Duggan, Ye Wu: An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 171(4): 3-21 (2007)
13		Tom Chothia, Jetty Kleijn: Q-Automata: Modelling the Resource Usage of Concurrent Components. Electr. Notes Theor. Comput. Sci. 175(2): 153-167 (2007)
12		Tom Chothia, Jun Pang, Muhammad Torabi Dashti: Keeping Secrets in Resource Aware Components. Electr. Notes Theor. Comput. Sci. 190(3): 79-94 (2007)
11		Tom Chothia, Dominic Duggan: Capability passing processes. Sci. Comput. Program. 66(3): 184-204 (2007)
	2006
10		Tom Chothia: Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. FORTE 2006: 115-130
9		Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti: A Framework for Automatically Checking Anonymity with mu CRL. TGC 2006: 301-318
8		Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang: Metrics for Action-labelled Quantitative Transition Systems. Electr. Notes Theor. Comput. Sci. 153(2): 79-96 (2006)
7		Tom Chothia, Dominic Duggan: Capability-Passing Processes. Electr. Notes Theor. Comput. Sci. 154(1): 3-23 (2006)
	2005
6		Tom Chothia, Konstantinos Chatzikokolakis: A Survey of Anonymous Peer-to-Peer File-Sharing. EUC Workshops 2005: 744-755
5		Tom Chothia, Dominic Duggan: Type-Based Distributed Access Control vs. Untyped Attackers. Formal Aspects in Security and Trust 2005: 203-216
	2004
4		Tom Chothia, Dominic Duggan: Abstractions for fault-tolerant global computing. Theor. Comput. Sci. 322(3): 567-613 (2004)
	2003
3		Tom Chothia, Dominic Duggan, Jan Vitek: Type-Based Distributed Access Control. CSFW 2003: 170-
	2001
2		Tom Chothia, Ian Stark: Encoding Distributed Areas and Local Communication into the pi-Calculus. Electr. Notes Theor. Comput. Sci. 52(1): 101-119 (2001)
	2000
1		Tom Chothia, Ian Stark: A Distributed Pi-Calculus with Local Areas of Communication. Electr. Notes Theor. Comput. Sci. 41(2): 1-16 (2000)

Coauthor Index

1	Myrto Arapinis	[20] [26]
2	Farhad Arbab	[16] [22]
3	Frank S. de Boer	[17] [18] [21]
4	Konstantinos Chatzikokolakis	[6] [23]
5	Muhammad Torabi Dashti (Mohammad Torabi Dashti)	[9] [12]
6	Yuxin Deng	[8]
7	Tien Tuan Anh Dinh	[19]
8	Dominic Duggan	[3] [4] [5] [7] [11] [14]
9	Apratim Guha	[23] [27]
10	Mohammad Mahdi Jaghoori	[17] [18] [21] [25]
11	Jetty Kleijn (H. C. M. Kleijn)	[13]
12	Delphine Longuet	[17]
13	Robert D. van der Mei (Rob van der Mei)	[22]
14	Sun Meng	[16] [22]
15	Young-Joo Moon	[16] [22]
16	Simona Orzan	[9]
17	Catuscia Palamidessi	[8]
18	Jun Pang	[8] [9] [12]
19	Eike Ritter	[20] [26]
20	Mark Ryan (Mark Dermot Ryan)	[19] [20] [26]
21	Marjan Sirjani	[18]
22	Vitaliy Smirnov	[24]
23	Ian Stark	[1] [2]
24	Chrétien Verhoef	[22]
25	Jan Vitek	[3]
26	Ye Wu	[14]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page