Muhammad Torabi Dashti

	2008
15		Simona Orzan, Muhammad Torabi Dashti: Data Failures. DISC 2008: 514-515
14		Simona Orzan, Muhammad Torabi Dashti: Fair Exchange Is Incomparable to Consensus. ICTAC 2008: 349-363
13		Muhammad Torabi Dashti, Anton Wijs, Bert Lisser: Distributed Partial Order Reduction for Security Protocols. Electr. Notes Theor. Comput. Sci. 198(1): 93-99 (2008)
12		Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker: Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme. Fundam. Inform. 89(4): 393-417 (2008)
	2007
11		Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw: A Certified Email Protocol Using Key Chains. AINA Workshops (1) 2007: 525-530
10		Muhammad Torabi Dashti, Yanjing Wang: Risk Balance in Exchange Protocols. ASIAN 2007: 70-77
9		Muhammad Torabi Dashti, Anton Wijs: Pruning State Spaces with Extended Beam Search. ATVA 2007: 543-552
8		Muhammad Torabi Dashti, Srijith Krishnan Nair, Hugo L. Jonker: Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme. FSEN 2007: 33-48
7		Srijith Krishnan Nair, Muhammad Torabi Dashti, Bruno Crispo, Andrew S. Tanenbaum: A Hybrid PKI-IBC Based Ephemerizer System. SEC 2007: 241-252
6		Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs: Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689
5		Tom Chothia, Jun Pang, Muhammad Torabi Dashti: Keeping Secrets in Resource Aware Components. Electr. Notes Theor. Comput. Sci. 190(3): 79-94 (2007)
	2006
4		Jan Cederquist, Muhammad Torabi Dashti: An intruder model for verifying liveness in security protocols. FMSE 2006: 23-32
3		Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti: A Framework for Automatically Checking Anonymity with mu CRL. TGC 2006: 301-318
	2005
2		J. G. Cederquist, Ricardo Corin, Muhammad Torabi Dashti: On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. ICICS 2005: 27-39
	2004
1		Jan Cederquist, Muhammad Torabi Dashti: Formal Analysis of a Fair Payment Protocol. Formal Aspects in Security and Trust 2004: 41-54

Coauthor Index

1	Stefan Blom	[6]
2	Jens R. Calame	[6]
3	J. G. Cederquist (Jan Cederquist)	[1] [2] [4] [11]
4	Tom Chothia	[3] [5]
5	Ricardo Corin	[2]
6	Bruno Crispo	[7]
7	Hugo L. Jonker	[8] [12]
8	Bert Lisser	[6] [13]
9	Sjouke Mauw	[11]
10	Srijith Krishnan Nair (Srijith K. Nair)	[7] [8] [12]
11	Simona Orzan	[3] [6] [14] [15]
12	Jun Pang	[3] [5] [6]
13	Jaco van de Pol	[6]
14	Andrew S. Tanenbaum	[7]
15	Yanjing Wang	[10]
16	Anton Wijs	[6] [9] [13]