| 2008 |
|---|
| 15 | EE | Simona Orzan,
Muhammad Torabi Dashti:
Data Failures.
DISC 2008: 514-515 |
| 14 | EE | Simona Orzan,
Muhammad Torabi Dashti:
Fair Exchange Is Incomparable to Consensus.
ICTAC 2008: 349-363 |
| 13 | EE | 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 | EE | Muhammad Torabi Dashti,
Srijith Krishnan Nair,
Hugo Jonker:
Nuovo DRM Paradiso: Designing a Secure, Verified, Fair Exchange DRM Scheme.
Fundam. Inform. 89(4): 393-417 (2008) |
| 2007 |
|---|
| 11 | EE | Jan Cederquist,
Muhammad Torabi Dashti,
Sjouke Mauw:
A Certified Email Protocol Using Key Chains.
AINA Workshops (1) 2007: 525-530 |
| 10 | EE | Muhammad Torabi Dashti,
Yanjing Wang:
Risk Balance in Exchange Protocols.
ASIAN 2007: 70-77 |
| 9 | EE | Muhammad Torabi Dashti,
Anton Wijs:
Pruning State Spaces with Extended Beam Search.
ATVA 2007: 543-552 |
| 8 | EE | Muhammad Torabi Dashti,
Srijith Krishnan Nair,
Hugo L. Jonker:
Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme.
FSEN 2007: 33-48 |
| 7 | EE | Srijith Krishnan Nair,
Muhammad Torabi Dashti,
Bruno Crispo,
Andrew S. Tanenbaum:
A Hybrid PKI-IBC Based Ephemerizer System.
SEC 2007: 241-252 |
| 6 | EE | 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 | EE | 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 | EE | Jan Cederquist,
Muhammad Torabi Dashti:
An intruder model for verifying liveness in security protocols.
FMSE 2006: 23-32 |
| 3 | EE | Tom Chothia,
Simona Orzan,
Jun Pang,
Muhammad Torabi Dashti:
A Framework for Automatically Checking Anonymity with mu CRL.
TGC 2006: 301-318 |
| 2005 |
|---|
| 2 | EE | 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 | EE | Jan Cederquist,
Muhammad Torabi Dashti:
Formal Analysis of a Fair Payment Protocol.
Formal Aspects in Security and Trust 2004: 41-54 |
