Muhammad Torabi Dashti

Mohammad Torabi Dashti

	2012
25		Alessandro Armando, Wihem Arsac, Tigran Avanesov, Michele Barletta, Alberto Calvi, Alessandro Cappai, Roberto Carbone, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Gabriel Erzse, Simone Frau, Marius Minea, Sebastian Mödersheim, David von Oheimb, Giancarlo Pellegrino, Serena Elisa Ponta, Marco Rocchetto, Michaël Rusinowitch, Mohammad Torabi Dashti, Mathieu Turuani, Luca Viganò: The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. TACAS 2012: 267-282
24		Anton Wijs, Mohammad Torabi Dashti: Extended beam search for non-exhaustive state space analysis. J. Log. Algebr. Program. 81(1): 46-69 (2012)
23		Mohammad Torabi Dashti: Efficiency of optimistic fair exchange using trusted devices. TAAS 7(1): 3 (2012)
	2011
22		Simone Frau, Mohammad Torabi Dashti: Integrated Specification and Verification of Security Protocols and Policies. CSF 2011: 18-32
21		Jan Cederquist, Mohammad Torabi Dashti: Complexity of fairness constraints for the Dolev-Yao attacker model. SAC 2011: 1502-1509
	2010
20		Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs: Partial Order Reduction for Branching Security Protocols. ACSD 2010: 191-200
19		Bahareh Badban, Mohammad Torabi Dashti: Semi-linear Parikh Images of Regular Expressions via Reduction. MFCS 2010: 653-664
	2009
18		Sjouke Mauw, Sasa Radomirovic, Mohammad Torabi Dashti: Minimal Message Complexity of Asynchronous Multi-party Contract Signing. CSF 2009: 13-25
17		Mohammad Torabi Dashti: Optimistic Fair Exchange Using Trusted Devices. SSS 2009: 711-725
16		Muhammad Torabi Dashti: Sums of powers via integration CoRR abs/0903.4358: (2009)
	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	Alessandro Armando	[25]
2	Wihem Arsac	[25]
3	Tigran Avanesov	[25]
4	Bahareh Badban	[19]
5	Michele Barletta	[25]
6	Stefan Blom	[6]
7	Jens R. Calame	[6]
8	Alberto Calvi	[25]
9	Alessandro Cappai	[25]
10	Roberto Carbone	[25]
11	J. G. Cederquist (Jan Cederquist)	[1] [2] [4] [11] [21]
12	Yannick Chevalier	[25]
13	Tom Chothia	[3] [5]
14	Luca Compagna	[25]
15	Ricardo Corin	[2]
16	Bruno Crispo	[7]
17	Jorge Cuéllar (Jorge Ricardo Cuellar)	[25]
18	Gabriel Erzse	[25]
19	Wan Fokkink	[20]
20	Simone Frau	[22] [25]
21	Hugo L. Jonker (Hugo Jonker)	[8] [12]
22	Bert Lisser	[6] [13]
23	Sjouke Mauw	[11] [18]
24	Marius Minea	[25]
25	Sebastian Mödersheim (Sebastian Alexander Mödersheim)	[25]
26	Srijith Krishnan Nair (Srijith K. Nair)	[7] [8] [12]
27	David von Oheimb	[25]
28	Simona Orzan	[3] [6] [14] [15]
29	Jun Pang	[3] [5] [6]
30	Giancarlo Pellegrino	[25]
31	Jaco van de Pol	[6]
32	Serena Elisa Ponta	[25]
33	Sasa Radomirovic	[18]
34	Marco Rocchetto	[25]
35	Michaël Rusinowitch	[25]
36	Andrew S. Tanenbaum	[7]
37	Mathieu Turuani	[25]
38	Luca Viganò	[25]
39	Yanjing Wang	[10]
40	Anton Wijs	[6] [9] [13] [20] [24]

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