Muhammad Torabi Dashti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2005–2015
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | TIME | Semantic Vacuity. | Grgur Petric Maretic, Muhammad Torabi Dashti, David A. Basin |
| 2008 | ICTAC | Fair Exchange Is Incomparable to Consensus. | Simona Orzan, Muhammad Torabi Dashti |
| 2007 | AINA | A Certified Email Protocol Using Key Chains. | Jan Cederquist, Muhammad Torabi Dashti, Sjouke Mauw |
| 2007 | ATVA | Pruning State Spaces with Extended Beam Search. | Muhammad Torabi Dashti, Anton Wijs |
| 2007 | SEC | A Hybrid PKI-IBC Based Ephemerizer System. | Srijith Krishnan Nair, Muhammad Torabi Dashti, Bruno Crispo, Andrew S. Tanenbaum |
| 2007 | TACAS | Distributed Analysis with | Stefan Blom, Jens R. Calam, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs |
| 2006 | CCS | An intruder model for verifying liveness in security protocols. | Jan Cederquist, Muhammad Torabi Dashti |
| 2005 | ICICS | On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. | J. G. Cederquist, Ricardo Corin, Muhammad Torabi Dashti |